function light_button(id,image_file){
	document.getElementById(id).src=image_file;
	document.body.style.cursor = 'pointer';
	}
function dim_button(id,image_file){
	document.getElementById(id).src=image_file;
	document.body.style.cursor = 'default';
	}