function menu(abrir,color1) {
	abrir.style.visibility="visible";
	color1.style.color="#018eb7"
	color1.style.cursor="default"
	//cerrar.style.visibility="visible";}
}
<!--
function doBlink() {
	var blink = document.all.tags("BLINK")
	for (var i=0; i<blink.length; i++)
		blink[i].style.visibility = blink[i].style.visibility == "" ? "hidden" : "" 
}

function startBlink() {
	if (document.all)
		setInterval("doBlink()",800)
}
window.onload = startBlink;
// -->