function disp_toggle(disp_id) {

	with (document.getElementById(disp_id)) className = (className == "openactive") ? "openinactive" : "openactive";

}