var requiredMajorVersion = 9; var requiredMinorVersion = 0; var requiredRevision = 0; button1 = new Image(); button1.src = "img/mainmenu10_lat.png"; button1on = new Image(); button1on.src = "img/mainmenu11_lat.png"; button2 = new Image(); button2.src = "img/mainmenu20_lat.png"; button2on = new Image(); button2on.src = "img/mainmenu21_lat.png"; button3 = new Image(); button3.src = "img/mainmenu30_lat.png"; button3on = new Image(); button3on.src = "img/mainmenu31_lat.png"; button4 = new Image(); button4.src = "img/mainmenu40_lat.png"; button4on = new Image(); button4on.src = "img/mainmenu41_lat.png"; button5 = new Image(); button5.src = "img/mainmenu50_lat.png"; button5on = new Image(); button5on.src = "img/mainmenu51_lat.png"; function on(name){document.getElementById(name).src = eval(name + "on.src");} function off(name){document.getElementById(name).src = eval(name + ".src");} function switch_class(id, newClass) { identity = document.getElementById(id); identity.className=newClass; } function showhide(id) { identity = document.getElementById(id); if (identity.style.display!="inline") { identity.style.display = "inline"; } else { identity.style.display = "none"; } } function submitForm(id) { identity = document.getElementById(id); identity.submit(); } function externalLinks() { if (!document.getElementsByTagName) return; var anchors = document.getElementsByTagName("a"); for (var i=0; i