var Menu={};
Menu.images=document.getElementById("menu").getElementsByTagName('img');
Menu.init = function()
{
  for(var i=0;i<Menu.images.length;++i)
  {
    var image=Menu.images.item(i);
    var anchor=image.parentNode
    anchor.image=image;
    anchor.onmouseover = function()
    {
      if(!this.image.orig_src)
        this.image.orig_src=this.image.src;
      this.image.src=this.image.src.replace(".png","_f2.png");
    }
    anchor.onmouseout = function()
    {
      if(!this.image.orig_src)
        this.image.orig_src=this.image.src;
      this.image.src=this.image.orig_src;
    }
  
  }

}
Menu.init();