var tooltip = null;
var current_element = null;
function show_tooltip(left, top, width, height, element) {
	if( element == current_element ) return;
	current_element = element;
	hide_tooltip();
	tooltip = window.createPopup();
	tooltip.document.write('<html><head><link rel="stylesheet" type="text/css" href=../css/tooltip.css"></head><body></body></html>');
	tooltip.document.body.innerHTML = element.getAttribute('title');
	tooltip.show( left, top, width, height, element );
}

function hide_tooltip() {
	if( tooltip == null ) return;
	tooltip.hide();
	tooltip = null;
	current_element = null;
}
