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;

}