function saveLang(){var a=document.getElementById("languages");if(a.selectedIndex>0){var b=a[a.selectedIndex].value;SetLang(b);if(b==1){window.location.reload()}else{ESVDownload(b,0)}}}function sl(){var a=document.getElementById("languages");if(a.selectedIndex>-1){var b=a[a.selectedIndex].value;SetLang(b);if(b==0){window.location.reload()}else{ESVDownload(b,0)}}}function setBar(){var d=document.getElementById("languages");var f=GetLang();for(var e=0;e<d.length;e++){if(d[e].value==f){d.selectedIndex=e;break}}};