function set_language(lang) {
    window.location.replace("/setLanguage?language="+lang);
}