
// The Array Function for rotating header
function makeArray(len) {
    for (var i = 0; i < len; i++) this[i] = null;
	this.length = len;
}
// This is where the array of text/images/sounds is created.
images = new makeArray(4);
images[0] = "<img src='/images/TOWLV_hdrPTO1.jpg' width='900' height='100' alt='Thousand Oaks' border='0'>";
images[1] = "<img src='/images/TOWLV_hdrPTO2.jpg' width='900' height='100' alt='Thousand Oaks' border='0'>";
images[2] = "<img src='/images/TOWLV_hdrPWLV.jpg' width='900' height='100' alt='Westlake Village' border='0'>";
images[3] = "<img src='/images/TOWLV_hdrPAG.jpg' width='900' height='100' alt='Agora Hills' border='0'>";

// The random number generator.
function rand(n) {
	seed = (0x015a4e35 * seed) % 0x7fffffff;
	return (seed >> 16) % n;
}
var now = new Date()
var seed = now.getTime() % 0xffffffff