function getTools() {
	//popup = document.getElementById("popup");
	popup.style.display = "inline";
	return false;
}


function hideTools() {
	//popup = document.getElementById("popup");
	if (document.getElementById("mousepos").value == "false")
		popup.style.display = "none";
	return false;
}


function overfrombut() {
 	setTimeout('hideTools();',200);
}