function escondebanner()
		{
			 document.getElementById("banner").style.visibility="hidden";
		}