<!--
   function changelang(lang)
   {
	if (lang == "en"){
	lang = ""
	//opencase = 1
	}else{
	lang = lang + "_"
	//opencase = 1
	}

docname = parent.location.href.substring(parent.location.href.lastIndexOf("/")+1)
dir = parent.location.href.substring(0, parent.location.href.lastIndexOf("/")+1)
	if (docname.indexOf("_") == 2){
		newloc =  dir + lang + docname.substring(docname.indexOf("_")+1)
		
		
	}else{
		newloc = dir + lang + docname
		
	}


//if (opencase == 1){
document.location.href = newloc
//}else{
//window.open(newloc)
//}

   }

//-->