// Javascript for index page
		 function refresh() { // reload the window from cache
		 window.location.reload(false);
		 }

		 function pickOne(max) { // random integer (0..max)
		 return Math.round(Math.random() * max);
		 }

		 nImg = 74; nQuote = 58; // numbered from 0 .. (n-1)
		 captions = new Array(nImg);
		 quotes = new Array(nQuote); cites = new Array(nQuote);
		 var whichImg = pickOne(nImg-1); var whichQuote = pickOne(nQuote-1);
		 var img = "./IMAGES/vbar/vbar" + whichImg + ".jpg";
//