function grey(c) 
{
var curBut,curImg;
curBut="button"+c;
curImg="/pics/menu"+c+"-g.png";
document.images[curBut].src=curImg;
}


function orange(c) 
{
var curBut,curImg;
curBut="button"+c;
curImg="/pics/menu"+c+"-o.png";
document.images[curBut].src=curImg;
}