jQuery(document).ready(function() {
	jQuery('.navigation_button').hover( function () {
		var navimg = jQuery(this);
		var x = navimg.attr('src').replace(/([^.]*)\.gif/, "$1-over.gif");
		navimg.attr('src', x);
	}, function() {
		var navimg = jQuery(this);
		var x = navimg.attr('src').replace('-over', '')
		navimg.attr('src', x);
	});
});