<!--
var offImg = new Array()
offImg[1] = new Image()
offImg[2] = new Image()
offImg[3] = new Image()
offImg[4] = new Image()
offImg[1].src = './graf/button1a.jpg'
offImg[2].src = './graf/button2a.jpg'
offImg[3].src = './graf/button3a.jpg'
offImg[4].src = './graf/button4a.jpg'

var onImg = new Array()
onImg[1] = new Image()
onImg[2] = new Image()
onImg[3] = new Image()
onImg[4] = new Image()
onImg[1].src = './graf/button1b.gif'
onImg[2].src = './graf/button2b.gif'
onImg[3].src = './graf/button3b.gif'
onImg[4].src = './graf/button4b.gif'



function imageOn(i){
document.images["button" + i].src = onImg[i].src
}

function imageOff(i){
document.images["button" + i].src = offImg[i].src
}

//-->