<!--
   function changelang(lang)
   {
	if (lang == "en"){
	lang = ""
	opencase = 1
	}else if (lang == "t_en"){
	lang = "text/t_"
	opencase = 2
	}else if (lang == "t_b5"){
	lang = "text/t_b5_"
	opencase = 2
	}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)
}

   }

//-->