// Con precarga.
	function cambiarImagen(imagenactual, imagennueva) 
	{
		document.images[imagenactual].src = eval(imagennueva + ".src")
	}

	// Sin precarga.
	function cambiarImagen2(nombreImagen, ficheroImagenCambio)
	{
		document[nombreImagen].src = ficheroImagenCambio;
	}


	opc_01_off = new Image();
	opc_01_off.src = "imagenes/menu/opc_01_off.gif";
	opc_01_on = new Image();
	opc_01_on.src = "imagenes/menu/opc_01_on.gif";

	opc_02_off = new Image();
	opc_02_off.src = "imagenes/menu/opc_02_off.gif";
	opc_02_on = new Image();
	opc_02_on.src = "imagenes/menu/opc_02_on.gif";

	opc_03_off = new Image();
	opc_03_off.src = "imagenes/menu/opc_03_off.gif";
	opc_03_on = new Image();
	opc_03_on.src = "imagenes/menu/opc_03_on.gif";

	opc_04_off = new Image();
	opc_04_off.src = "imagenes/menu/opc_04_off.gif";
	opc_04_on = new Image();
	opc_04_on.src = "imagenes/menu/opc_04_on.gif";