var buttonname
bimages = new Array('button1','button2','button3','button4','button5','button6','button7','button8','button9')

function changeon(buttonname)
{
document.all[bimages[buttonname]].src="images/menu1.gif"
}
function changeoff(buttonname)
{
document.all[bimages[buttonname]].src="images/menu.gif"
}