function display(what) {
	var doc = document.getElementById(what);
	if(doc.style.display == "" || doc.style.display == "none") {
		doc.style.display = "block";
	} else {
		doc.style.display = "none";
	}
}