function set_on (button) {

	button.src = "images/button_on.png";

}
function set_off (button) {

	button.src = "images/button_off.png";

}