var allSpan;var allDiv;function goFaculty() {    allSpan = document.getElementsByTagName("span");	hideAll();    for (var i=0; i<allSpan.length; i++) {        if (allSpan[i].id.indexOf("show") != -1) {            allSpan[i].onclick = showWho;        }        if (allSpan[i].className == "hide") {            allSpan[i].onclick = hideAll;        }        if (allSpan[i].className == "show" || allSpan[i].className == "hide") {            allSpan[i].onmouseover = hoverColor;            allSpan[i].onmouseout = linkColor;            allSpan[i].onmousedown = activeColor;        }    }}function showWho() {	hideAll();	this.style.visibility = "hidden";	this.onmouseout = visitedColor;	var whoseBio = this.id.substr(5);    for (var i=0; i<allDiv.length; i++) {        if (allDiv[i].id.indexOf("bio") != -1) {			if (allDiv[i].id.substr(4) == whoseBio) {				allDiv[i].style.display = "block";			}		}    }}function hideAll() {    allDiv = document.getElementsByTagName("div");    for (var i=0; i<allDiv.length; i++) {        if (allDiv[i].id.indexOf("bio") != -1) {            allDiv[i].style.display = "none";        }    }    for (var i=0; i<allSpan.length; i++) {        allSpan[i].style.visibility = "visible";    }}	function hoverColor() {	this.style.color = "#939933";}function linkColor() {	this.style.color = "#555555";}function activeColor() {	this.style.color = "#cc6600";}function visitedColor() {	this.style.color = "#999999";}