function onOver(id)
{
	document.getElementById(id).src = "graphics/menu/" + id + "_on.gif";
}
function onOut(id)
{
	document.getElementById(id).src = "graphics/menu/" + id + "_off.gif";
}