/*###############
  CUSTOM JAVASCRIPT
##############*/

function initNavigation()
{
  var h = $('navigation').getElementsByTagName('a');
  for(var i=0;i<h.length;i++)
  {
    img = new Image();
    img.src = h[i].firstChild.src.replace(/\.jpg/,'_hover.jpg');
    
    h[i].firstChild.onmouseover = function() {
        this.src = this.src.replace(/\.jpg/,'_hover.jpg');
    }
    h[i].firstChild.onmouseout = function() {
        this.src = this.src.replace(/\_hover\.jpg/,'.jpg');
    }
  }
}