/*
 *	util.js
 */

//-----------------------------------------------------------------------------
function hilite(what, really)
{
	if(really) {
		what.src = what.src.replace(/\/([^\.]+)\.gif/g, "/$1_over.gif");
	}
	else {
		what.src = what.src.replace(/\/(.*)_over\.gif/g, "/$1.gif");
	}
}