function s(e, s) {
	var d = document.getElementById('inf');
	d.style.display="block";
	d.style.left= parseInt(e.style.left)+15;
	d.style.top= parseInt(e.style.top)+10;
	d.innerHTML=s;
}
function h() {
	document.getElementById('inf').style.display="none";
}