function closePub()
{
	document.getElementById("pub").style.display="none";
}