function postlang (langcode) {
 document.langform.lang.value = langcode;
}