// !PAS OP! normaal is dit .gif
window.addEvent('domready', function() {
			$('menu').getElements('img[src$=off.jpg]').addEvents({
				'mouseenter': function() {
					var m = this.src.match(/(.+)_off.jpg/);
					this.src=m[1]+'_over.jpg';
					},
				'mouseleave': function() {
					var m = this.src.match(/(.+)_over.jpg/);
					this.src=m[1]+'_off.jpg';
					}
				});
		});