<!--
/* -- */

//-->

<!-- Language Toggle -->
<!--
var newurl;
function toggle(){

{
 if (document.images)
   {
   var url = document.URL;
   }
 else
   {
   var url = document.location;
   }

 var pos = url.lastIndexOf(".")
 var ext = url.substring(pos, url.length); // get the extension 
 
 if (pos > 0)
 {
   // get the char before the . 
   var lang_char = (url.charAt(pos-1));
 
   // check what lang. we are currently in
   if (lang_char == "e") 
   {
     newurl=url.substring(0,pos-1) + "f" + ext; // create the new url
//     document.location = newurl;
   } 
   else
   {
     newurl=url.substring(0,pos-1) + "e" + ext; // create the new url
//     document.location = newurl;
   }
  
  
 } // done check if found .
 
  
}
}
toggle();
// -->