function ocultar()
	{	top.document.getElementById("web").cols="*,0";	
		top.document.getElementById("banner").src="/topb.htm";
		top.document.getElementById("banner2").src="/der.htm";
		}

function mostrar()
	{	top.document.getElementById("web").cols="*,123";	
		top.document.getElementById("banner").src="/topb.htm";
		top.document.getElementById("banner2").src="/der.htm";
	}