// JavaScript Document
window.onload=initAll;

function initAll() {
  nodes=document.getElementById('menuImages').getElementsByTagName('img');
  for (var i=0;i<nodes.length;i++) {
    nodes.item(i).onmouseover=function(){
	  this.src=this.src.replace(/.gif/,"h.gif");
	}
    nodes.item(i).onmouseout=function(){
	  this.src=this.src.replace(/h.gif/,".gif");
	}
}
}