var bg_choice = pickRandom( banner.length );
document.writeln('	<div id="header" class="banner_'+bg_choice+'">');
//document.writeln('<div id="safariFix"></div>');