function menu_hover(obj)
{
	if (obj.src.indexOf("_hover")==-1)
		obj.src = obj.src.replace(".gif","_hover.gif");
	else
		obj.src = obj.src.replace("_hover.gif",".gif");
}

windowOnload = window.onload;
window.onload = function()
{
	if (windowOnload != null)
		windowOnload();
	
}