function ocultarOpciones()
{
	document.all.opciones.style.display="none";
}

function verOpciones()
{
	document.all.opciones.style.display="";
}