/* Script to pick a random header image.
   To add more images:
   1. Name the new image "inside-headerN.jpg"
   2. Raise this count

   07/25/10: removed inside-header3.jpg and inside-header4.jpg
             from the rotation.
*/
var header=2;	/* Number of possible images */
var random= Math.round(Math.random()*(header-1))+1;
document.write('<td colspan=2 class=top_row background="/inside-header' + random + '.jpg"><img scr="/spacer.gif" height=56 width=1></td>');