/* Script to pick a random number for header images */
var header_left=4;	/* Number of possible images for the left header */
var header_right=5;	/* Number of possible images for the right header */
var random_left= Math.round(Math.random()*(header_left-1))+1;
var random_right= Math.round(Math.random()*(header_right-1))+1;
document.write('<img src="/page-header-new-left' + random_left + '.jpg" width="316" height="75" alt="Corporate Entertertainment"></td>');
document.write('<td width=100% background="/page-header-new-right' + random_right + '.jpg">');