// JavaScript Document
var topbar = new Array;
topbar[topbar.length++] = "../../../images/top_bldgs_abstract.jpg, aifaiubf";
topbar[topbar.length++] = "../../../images/top_campus.jpg, asfiouniusfb";    
topbar[topbar.length++] = "../../../images/top_classroom.jpg, asifubaiusbf"; 
topbar[topbar.length++] = "../../../images/top_faculty_classroom.jpg, asfiuiubaf"; 
topbar[topbar.length++] = "../../../images/top_outside_walkers.jpg, asiufbiub"; 
topbar[topbar.length++] = "../../../images/top_palms.jpg, asifubiub"; 
topbar[topbar.length++] = "../../../images/top_staff_drs.jpg, asifubiub"; 

function setTopBar() {
	rNum = Math.floor(Math.random() * topbar.length);
	prodData = topbar[rNum].split(",");
	document.getElementById("top").src = prodData[0]; //setting the image
}