function imgOn(imgId)
{
	document.getElementById(imgId).src = "gui/"+ imgId + "_over.gif";
}

function imgOff(imgId)
{
	document.getElementById(imgId).src = "gui/"+ imgId + ".gif";
}