//if this page needs random pics, put the image names into the array below
var picArray = new Array("crawl", "DH", "EZ", "EZ2", "Gieger", "JF", "JF2", "JL", "JM", "JP", "KA", "RL2", "SE", "SR", "TT3", "TT4");
var randomNumber = Math.floor(Math.random() * picArray.length);
document.getElementById("main").style.background = "url(/graphics/bkg/"+ picArray[randomNumber] + ".jpg) no-repeat";