function switch_language(lang, next)
{
    document.languageswitcherform.language.value = lang;
    document.languageswitcherform.next.value = next;
    document.languageswitcherform.submit();
}