function select_lang(lang)
{
  location.href = [location.pathname, "?lang=", lang].join('');
}