function switch_language(lang,path)
{
 myIndex = lang.selectedIndex;
 myValue = lang.options[myIndex].value;
 window.location.href = path+"setlang.php?lang="+myValue;
}