function change(domid, newimage)
	{
	document.getElementById(domid).src = newimage;
	}