/* Script to pick a random number for header images */
var header=6;	/* Number of possible images for the header */
var random= Math.round(Math.random()*(header-1))+1;
document.write('<tr><td><img src="header_left_1_' + random + '.gif" width="144" height="155" alt="" border="0"></td></tr>');