function  change_language(select)
{
    var lang = select.value;
    window.location = '/?lang='+lang;
}