function ResetShortcuts() {
    for (var i = 0; i < document.LangForm.Language.length; i++) {
        if (document.LangForm.Language.options[i].defaultSelected == true){
            document.LangForm.Language.options[i].selected=true
        }
    }
}

function JumpMenu(item) {
    document.location= item;
}