<!--
function disp_toggle(disp_id) {
	with (document.getElementById(disp_id))
	className = (className == "active") ? 
	"inactive" : "active";
}
//-->