function menu(id, onoff)
{
		document.getElementById(id).src="images/"+id+"_"+onoff+".gif";
}