function chg_button(which,onoff) {
	document[which].src = "images/button_"+which+"_"+onoff+".gif";
}