/*
the following code rotates the header image on each page refresh - bd
*/
var ic = 5; 
var xoxo = new Array(ic); 
xoxo[0] = "images/headers/beach.jpg"; 
xoxo[1] = "images/headers/street.jpg";
xoxo[2] = "images/headers/frontstreet.jpg"; 
xoxo[3] = "images/headers/flag.jpg";
xoxo[4] = "images/headers/handshake.jpg"; 

function pickRandom(range) 
{ if (Math.random) return Math.round(Math.random() * (range-1)); else { var now 
= new Date(); return (now.getTime() / 1000) % range; } } 

var choice = pickRandom(ic);