<!--
   function changlang(lang, tname)
   {
	//lang = lang + "_"

	if (parent.location.href.lastIndexOf("#")+1 == parent.location.href.length ){
		len = parent.location.href.length -1
		temp = parent.location.href.substring(parent.location.href.lastIndexOf("/")+1)
		docname =temp.substring(0, temp.length -1)

	}else{
		docname = parent.location.href.substring(parent.location.href.lastIndexOf("/")+1)
	}
	
	 if (docname == ""){
          docname = "en_index.html";
   }
	 
    dir = parent.location.href.substring(0, parent.location.href.lastIndexOf("/")+1)
		if (tname == "" ) {
		newloc = "../"+lang+"/"+docname;
		} else
		newloc =  "../../"+lang+"/"+tname+"/"+ docname;
		//alert (newloc);
		//newloc =  "../Eng/" + lang + docname.substring(docname.indexOf("_")+1)
		document.location.href = newloc
   }

//-->