function fixMenu(image) 
{
	if (image != "")
	{
		document.images[image].src = "./menu/"+image+"_f3.gif";	
	}
}