// 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);
}

function pickNext() { // pick next from cookie

}

nImg = 91; nQuote = 70; // 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";
//