function disp_toggle(disp_id) {

	with (document.getElementById(disp_id)) className = (className == "display") ? "on_display" : "display";

}