<!--
function toggle(sub) { var el = document.getElementById(sub); var bWhich = (el.style.display == 'none' || el.style.display == ''); for (var i=0; i<submenus.length; ++i) submenus[i].style.display = 'none'; el.style.display = (bWhich) ? 'block' : 'none'; return false; } var divcoll = document.getElementsByTagName('div'), submenus = new Array(); onload = function() { for (var i=0; i<divcoll.length; ++i) if (divcoll.item(i).id && divcoll.item(i).id.indexOf('submenu') != -1) submenus[submenus.length] = divcoll.item(i); }
-->