var requiredMajorVersion = 9; var requiredMinorVersion = 0; var requiredRevision = 0; 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