function rpng (name, state)
{
	var obj = document[name];
	if (obj != null)
		obj.src = name + state + ".png";
}