function box_hover(id) {
	document.getElementById(id).className = "div_box_hover";
}
function box(id) {
	document.getElementById(id).className = "div_box";
}