getobj=function(objid){return document.getElementById(objid);}
function init(){
	MenuLinks=getobj("menu").getElementsByTagName("img");
	for (i=0;i<MenuLinks.length;i++) {
		MenuLinks[i].onmouseover=function(){this.src=this.src.replace(/.gif/,"c.gif");}	
		MenuLinks[i].onmouseout=function(){this.src=this.src.replace(/c.gif/,".gif");}	
	}
}