function startup()	{
// GENERATE RANDOM NUMBER FOR MAINPIC/STUDENPIC
	var randNum = (Math.floor(Math.random()*4)+1);
	document.mainPic.src    = 'images/campus1.gif';
	document.studentPic.src = 'images/animated_'+randNum+'.gif';
}