function fold(what) {
	obj=document.getElementById(what);
	if (obj) {
		if (obj.className=="fold") {
			obj.className="unfold";
		} else {
			obj.className="fold";
		}
	}
}