if (document.images) {
image7on = new Image(); image7on.src = "../boton71.gif";
image8on = new Image(); image8on.src = "../boton81.gif";
image7off = new Image(); image7off.src = "../boton7.gif";
image8off = new Image(); image8off.src = "../boton8.gif";
}
function turnOn(imageName) {
if (document.images) {document[imageName].src = eval(imageName + "on.src");}
}
function turnOff(imageName) {
if (document.images) {document[imageName].src = eval(imageName + "off.src");}
}