// Simulate using :hover effect in this blog
/************
	jQuery(document).ready( function () {
		var ptr;
		var xxx;
		jQuery('#navigation a ').hover(
		// on mouseover, change the image to the _hover version
		// this code depends on there being a _hover version of the image
		function()  {
			ptr = jQuery(this).children("img");
			xxx = ptr.attr('src');
			xxx = xxx.replace( /\.png$/, '_hover.png' );
			ptr.attr('src',xxx);
		}, 
		function () {
			// on mouseout replace the original image.
			ptr = jQuery(this).children("img");
			xxx = ptr.attr('src');
			xxx = xxx.replace( /_hover\.png$/, '.png' );
			 ptr.attr('src',xxx);
		});		
	});
***********/