

function makeArray(len) {
for (var i = 0; i < len; i++) this[i] = null;
this.length = len;
}

var navpic = new makeArray(7);
navpic[0] = "<img src='images/nav_pic1.jpg' width=200 border=0 alt=''>";
navpic[1] = "<img src='images/nav_pic2.jpg' width=200 border=0 alt=''>";
navpic[2] = "<img src='images/nav_pic3.jpg' width=200 border=0 alt=''>";
navpic[3] = "<img src='images/nav_pic4.jpg' width=200 border=0 alt=''>";
navpic[4] = "<img src='images/nav_pic5.jpg' width=200 border=0 alt=''>";
navpic[5] = "<img src='images/nav_pic6.jpg' width=200 border=0 alt=''>";
navpic[6] = "<img src='images/nav_pic8.jpg' width=200 border=0 alt=''>";

function rand(n) {
seed = (0x015a4e35 * seed) % 0x7fffffff;
return (seed >> 16) % n;
}
var now = new Date();
var seed = now.getTime() % 0xffffffff;
