function change_lang() {
lang=document.getElementById('select_lang').value;
//alert('hello');
window.location="change_lang.php?new_lang="+lang;
}