function openLang(theLang){ //open corresponding page in other language
window.location = "../" + theLang + "/" + thePage + ".htm"
}