function img_change(imgname)
{
	document[imgname].src = "images/menu/" + imgname + "-on.gif";
	return true;
	
}

function img_revert(imgname)
{
	document[imgname].src = "images/menu/" + imgname + ".gif";
	return true;
}