function make_visible(id)
	{
	document.getElementById(id).style.visibility ="visible";
	document.getElementById(id).style.left = "100px";
	document.getElementById(id).style.top = "100px";
	}

function make_invisible(id)
	{
	document.getElementById(id).style.visibility="hidden";
	}