function randomizeHeader()
{
/****************************************
* Put the current header filenames here *
****************************************/
var options = new Array();
options[0]="new_moon.jpg";
options[1]="wild_things.jpg";
options[2]="stepfather.jpg";
options[3]="armored.jpg";
options[4]="old_dogs.jpg";
options[5]="planet_51.jpg";
options[6]="2012.jpg";
options[7]="christmas_carol.jpg";
options[8]="the_box.jpg";
options[9]="couples_retreat.jpg";
options[10]="invention_of_lying.jpg";
options[11]="whip_it.jpg";
options[12]="all_about_steve.jpg";
options[13]="princess_frog.jpg";
options[14]="sherlock_holmes.jpg";


var selected = "http://abc.eznettools.net/D300003/X381230/images/headers/";
var rando = Math.round(Math.random()*100)%(options.length);

selected += options[rando];
document.getElementById('headerPic').src=selected;
}

function setPageTitle(title)
{
document.getElementById('pageTitle').innerHTML = "<table width='100%'><tr><td style='text-align: center;'>" +
   title + "</td></tr></table>";
}