function change(button_name, button_image) 
	{
		document[button_name].src="images/"+button_image
	}