var mimg = new Array(8);
var mimgw = new Array(8);
var i;

// preload images
for(i=0;i<8;i++) {
	mimg[i] = "../img/mainMenu"+(i+1)+".gif";
}

for(i=0;i<8;i++) {
	mimgw[i] = "../img/mainMenu"+(i+1)+"_on.gif";
}  


function show(x) {
    if(document.images['m'+x])
	    document.images['m'+x].src = mimgw[x-1];
	
	// make others grey
	for(i=1;i<=8;i++) {
		if (i!=x) 
		{
		    if(document.images['m'+i])
		        document.images['m'+i].src = mimg[i-1];
		}
	} 
}