function change_lang(url) {

  window.location=url;

}