function turn_on(the_id){
	the_btn = document.getElementById(the_id);
	the_btn.src = '/images/' + the_id + '_on.png';
}

function turn_off(the_id){
	the_btn = document.getElementById(the_id);
	the_btn.src = '/images/' + the_id + '.png';
}