// JavaScript Document
    function show(mid) {
	if(to[mid])
	    clearTimeout(to[mid]);
	tmp = document.getElementById(mid);
	if (tmp == null)
	    return false;
	to[mid] = setTimeout("document.getElementById('"+mid+"').style.display='block';", showDelay);
    }
    function hide(mid) {
	if(to[mid])
	    clearTimeout(to[mid]);
	tmp = document.getElementById(mid);
	if (tmp == null)
	    return false;
	to[mid]=setTimeout("document.getElementById('"+mid+"').style.display='none';", hideDelay);
    }