// JavaScript Document


var imageRes = readCookie("jsRes");
var roImages = new Array("dblock.jpg","artstudent.jpg","artclass.jpg","librarycomputer.jpg","musicperformance.jpg","librarygeneral.jpg","artstudents.jpg","dtfood.jpg");


var thisImage = 0;
function rotate() {
	thisImage++;
	if(thisImage == roImages.length) {
		thisImage = 0;
	}
	document.getElementById("rotatingImage").src = "mainpics/"+imageRes+"/"+roImages[thisImage];
	setTimeout("rotate()",4*1000);
}