initMenus();

function initMenus()
{// get menus div
	var x = document.getElementById('menus');
	if (!x) return;
/*
 Add mouseOver and Out events to the links in the menu 
 to call a function that highlights the images.
 highlighting is done by swapping out the image set in
 the 'altsrc' attribute.  Swapping is faster than piecing
 together the filenames each time.
*/	var y = x.getElementsByTagName('img');

	for (var i=0;i<y.length;i++)
	{	y[i].onmouseover= imgSwap;
		y[i].onmouseout = imgSwap;
		var s = y[i].getAttribute('src');
		
		if(s.indexOf('/a/')>-1)
			s = s.replace('/nav/a/', '/nav/h/');
		else
			s = s.replace('/nav/','/nav/h/');
		y[i].setAttribute('altsrc', s);
	}
}
function imgSwap()
{	var m = this.getAttribute('src');
	this.setAttribute('src', this.getAttribute('altsrc'));
	this.setAttribute('altsrc', m);
}