// JavaScript Document

function removeAfterChar(sChar, searchStr)
// remove all the characters after sChar
 {
  pos = searchStr.indexOf(sChar);
  if (pos == -1)
    return searchStr;
  else
    return searchStr.substring(0, pos);
 }

function replaceString(oldStr, searchStr, replaceStr)
// replace in oldStr, searchStr with replaceStr
 {
  pos = oldStr.indexOf(searchStr);
  if (pos == -1)
    return oldStr;
  else
    return oldStr.substring(0, pos) + replaceStr + oldStr.substring(pos + searchStr.length, oldStr.length);
 }

function switchLangue( language1, language2 )
 {
  documentUrl = window.location.href;

  goUrl = replaceString(documentUrl, "_" + language1 + ".", "_" + language2 + ".");
  goUrl = replaceString(goUrl, "l=" + language1, "l=" + language2 );

  goUrl = removeAfterChar('#', goUrl);
  window.location = goUrl;
 }