
	
	onload = function() {
		a_tags=document.getElementsByTagName('a')
		for (i=0;i<a_tags.length;i++) {
			a_tags[i].onfocus=blur_links
		}
	}
	
	function blur_links() {
		this.blur()
	}


	Event.observe
	(
		window,
		'load',
		function ()
		{
			var menuElements = $$ ('li img');
			
			menuElements.each
			(
				function (element)
				{
					var originalName = element.src;
					var hoverName = element.src.replace ('.gif', '_r.gif');
					
					var image = new Image ();
					
					image.src = hoverName;
				
					Event.observe
					(
						element,
						'mouseover',
						function ()
						{
							element.src = hoverName;
						}
					);
					
					Event.observe
					(
						element,
						'mouseout',
						function ()
						{
							element.src = originalName;
						}
					);
				}
			);
		}
	);