/*
tooltip = null;

document.onmousemove = update_tooltip;

function update_tooltip(e) {
	x = (document.all) ? window.event.x + document.body.scrollLeft : e.pageX;
	y = (document.all) ? window.event.y + document.body.scrollTop  : e.pageY;
	if (tooltip != null) {
		tooltip.style.left = (x + 20) + "px";
		tooltip.style.top 	= (y + 20) + "px";
	}
}
*/
function show_tooltip(id) {
	tooltip = document.getElementById(id);
	tooltip.style.display = "block"
}

function hide_tooltip() {
	tooltip.style.display = "none";
}