function clearDiv() {
	var div = document.getElementById("members_details");
	div.innerHTML = "";
}
function populateDiv(img, name, pos, hours, email) {
	var div = document.getElementById("members_details");
	div.innerHTML = "";
	var info = "<img src='images/members/" + img + ".jpg'>" + "Name: " + name + "<br/>Position: " + pos + "<br/>Office Hours: " + hours + 
			"<br/>Email: <a href=mailto:" + email + ">" + email + "</a>";
	div.innerHTML = info;
}