function getLang()
{
  var el =  document.getElementById("lang");
  var cur = el.options[el.selectedIndex].value;
  if (cur != '') {
   	window.location.href = document.getElementsByTagName('base')[0].href + cur.substring(1, cur.length);
  }
}