/*
function displaydesc(which, descriptionarray, container){
    if (document.getElementById)
        document.getElementById(container).innerHTML=descriptionarray[which.selectedIndex]
}

function jumptolink(what){
    var selectedopt=what.options[what.selectedIndex]
    if (document.getElementById && selectedopt.getAttribute("target")=="newwin")
        window.open(selectedopt.value)
    else
        window.location=selectedopt.value
}

displaydesc(document.form1.select1, thetext1, 'textcontainer1')
*/

function changeLanguage(select){
    var option = select.options[select.selectedIndex];
    window.location = option.value;
}