{
dibujo15=new Image(108,27);
dibujo15.src="img/Boton English.gif";
dibujo16=new Image(108,27);
dibujo16.src="img/Boton onemoment.gif";
dibujo17=new Image(108,27);
dibujo17.src="img/Boton Deutsch.gif";
dibujo18=new Image(108,27);
dibujo18.src="img/Boton einaugenblick.gif";
dibujo19=new Image(108,27);
dibujo19.src="img/Boton francais.gif";
dibujo20=new Image(108,27);
dibujo20.src="img/Boton unmoment.gif";
}
function cambioimagen(a,b)
{
{
document.images[a].src=eval(b+".src")
}
}