function change_action(uri) {
    document.getElementById("searchform").action = uri;
}
function change_lang(lang) {
    document.getElementById("searchlang").value = lang;
}