/*  This Javascript is needed on any page using the main site template. */

var i, j;
var picUrls = new Array();


// this number can be used so requested files (usually PHP files posing
// as Javascript) aren't cached. (It's very doubtful there will be a second
// request in the same millisecond.)
var rand = new Date().getTime();

// preload images so buttons can highlight instantly on mouseover
function preloadImages() {
	var images = new Array(arguments.length);
	for (var i = 0; i < arguments.length; i++) {
		images[i] = new Image();
		images[i].src = arguments[i];
	}
}