// RollOverMenu.js Javascript Library Begin var timer, closing = true; var xOffset = yOffset = 0; var isDHML, isID, isALL, isLayers = 0; function closeMenu() { closing = true; timer = setTimeout('closeMenuAll()',500); } function keepOpen() { closing = false; clearTimeout(timer); } function closeMenuAll() { if (window.DOMObjects && closing) { for (var i=0; i