var imgs = (document.images) ? 1:0;
var oldSrc="";

function swapMenuImage(theImage, newSrc)
{
	if(imgs)
	{
		theOverImage = theImage;
		oldSrc = document.images[theImage].src;
		document.images[theImage].src="images/" + theImage + "_hover.gif";
	}
}
function swapMenuBack()
{
	if(imgs)
	{
		document.images[theOverImage].src = oldSrc;
	}
}