<!--
function uno(uno,uno1)
	{
		document.images[uno].src = eval(uno1+".src");
	}
	{
		boton=new Image();boton.src="img/boton.gif";
		botarton=new Image();botarton.src="img/botarton.gif";
		botoff=new Image();botoff.src="img/botoff.gif";
	}
// -->