function show(name) {
	if(document.getElementById(name).className == "DIVdisplay_show") {
		document.getElementById(name).className = "DIVdisplay_hide";
	} else {
		document.getElementById(name).className = "DIVdisplay_show";
	}
}