function lang_show(lang){
div_lang=document.getElementById(lang).style;
div_lang.top=0;
}


function lang_hide(lang){
div_lang=document.getElementById(lang).style;
div_lang.top=-10;
}


function lang_ch(lang){
url=document.location;

if(!url.search){
document.location=url + "?LANG=" + lang;
}else{
document.location=url + "&LANG=" + lang;
}


}