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