

var currenttooltip = "";

function tooltipshow(tooltipName) {
    if (currenttooltip == "") {
	currenttooltip = tooltipName;
	tooltipObj = document.getElementById(tooltipName);
	tooltipObj.style.visibility = "visible";
    }
}

function tooltiphide() {
    if (currenttooltip != "") {
        tooltipObj = document.getElementById(currenttooltip);
	tooltipObj.style.visibility = "hidden";
	currenttooltip = "";
    }
}


