function image_down(image) {
	document.getElementById(image).className="image_on";
}

function image_up(image) {
	document.getElementById(image).className="image_off";
}