d = document.images;
	p = "/img/"; 
	function menu_on(imgName) 
	{ 
		if (d)  d[imgName].src = p + imgName + "_on.jpg";
	}
	function menu_off(imgName) 
	{ 
		if (d) d[imgName].src = p + imgName + ".jpg";  
	}
	function menu_ons(imgName) 
	{ 
		if (d)  d[imgName].src = p + imgName + "_on.gif";
	}
	function menu_offs(imgName) 
	{ 
		if (d) d[imgName].src = p + imgName + ".gif";  
	}