/* Script to pick a random header image.
   To add more images:
   1. Name the new image "/images/headerN.jpg"
   2. Raise this count

*/
var header=2;	/* Number of possible images */
var random= Math.round(Math.random()*(header-1))+1;
document.write('<td class="header" colspan=2 background="/images/header' + random + '.jpg">');

