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