function hilite( imgname )
{
	img = document.getElementById(imgname);
	img.src = "../images/"+imgname+"_over.gif";
}

function unhilite( imgname )
{
	img = document.getElementById(imgname);
	img.src = "../images/"+imgname+"_up.gif";
}