window.addEvent('domready', function() {
    // First iterate all the images, setup the normal & hover images:
    $('mainMenu').getElements('img').each(function(el) {
	var path = el.getProperty('src');
	var beginning = path.substring(0, path.lastIndexOf('.'));
	var end = path.substring(path.lastIndexOf('.'));
	el.normalImage = new Image();
	el.hoverImage = new Image();
	el.normalImage.src = path;
	el.hoverImage.src = beginning + 'Hover' + end;
    });
    $('mainMenu').getElements('a').addEvents({
	'mouseenter': function(event) {
	    this.getElement('img').src = this.getElement('img').hoverImage.src;
	},
	'mouseleave': function(event) {
	    this.getElement('img').src = this.getElement('img').normalImage.src;
	}
    });
});