var timers = new Array();
var disableDHTML = false;
function viewDiv(divId, visible){
    //info("view div: " + divId + " " + visible);
    theDiv = document.getElementById(divId);
    if (!theDiv)
        warn("theDiv is not defined...");
    theDiv.style.display = visible? "block" : "none";
}
function mouseOver(what){
	if (disableDHTML)
		return true;
    if (timers[what])
        window.clearTimeout(timers[what]);
    viewDiv(what + "_div", true);
}
function mouseOut(what, timer){
	if (disableDHTML)
		return true;
    if (timer){
        timers[what] = setTimeout("mouseOut('" + what + "');", timer);
        return true;
    }
    viewDiv(what + "_div", false);
}