<!--

// HILITE THE ROLLOVERS

function doHighlight(thisPreLoadedImage,thisGifNamedBelow) {
	if (document.images)
	document.images[thisGifNamedBelow].src = eval(thisPreLoadedImage + '.src')
}

function undoHighlight(thisPreLoadedImage,thisGifNamedBelow) {
	if (document.images)
	document.images[thisGifNamedBelow].src = eval(thisPreLoadedImage + '.src')
}

// -->