var random=Math.floor(banner.length*Math.random());
document.write("<style type=\"text/css\">");
document.write("#header-pic, #header-pic-short {");
document.write(' background:url("' + banner[random] + '") no-repeat top left;');
document.write(" }");
document.write("<\/style>");