function randomizeHeader()
{
/****************************************
* Put the current header filenames here *
****************************************/
var options = new Array();
options[0]="dedRestock.jpg";
options[1]="dvdZines.jpg";
options[2]="hustlerPacks.jpg";
options[3]="ironlakRestocked.jpg";
options[4]="stencilCap.jpg";

var selected = "http://abc.eznettools.net/nolainc/header/";
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>";
}