function jumptolanguage() {
  var languageselector = document.getElementById('navigation-language');
  var language = languageselector.options[languageselector.selectedIndex].value;
  loc=""+language;
  document.location.href=loc;               
}