//
// JavaScript for a published web page
//

// sets a page's selected language. invoked by a page's onload event
function selectLanguage(langcode) {
  var form = document.forms[0];
  if (!form) return false;
  if ((form.Language == null) || (form.Language == undefined)) return false;
  for (var i = 0; i < form.Language.options.length; i++) {
    if (form.Language.options[i].value == langcode) {
      form.Language.options[i].selected = true;
      return true;
    }
  }
  return false;
}

// switches from one language to another. invoked when the user selects
// a different language
function switchLanguage() {
  var form = document.forms[0];
  if (!form) return false;
  if ((form.Language == null) || (form.Language == undefined)) return false;
  var i, j;
  var thispage = self.location.pathname;
  if ((i = thispage.lastIndexOf("_")) < 0) return false;
  if ((j = thispage.lastIndexOf(".")) < 0) return false;
  self.location.href = thispage.substring(0, i + 1)
                     + form.Language.options[form.Language.selectedIndex].value
                     + thispage.substring(j);
}