var imgs = $('menu').getElementsByTagName('img');
var new_images = new Array(imgs.length);
for(var i=0;i<imgs.length;i++)
{
	new_images[i] = new Image();
	new_images[i].src = imgs[i].src.replace('0.gif','1.gif');
	
	imgs[i].onmouseover=function()
	{
		this.src = this.src.replace('0.gif','1.gif');
	}
	imgs[i].onmouseout=function()
	{
		this.src = this.src.replace('1.gif','0.gif');
	}
}