/* Dette skript vælger vilkårligt billede til header */

/* var randomimg=["002.jpg", "004.jpg", "006.jpg", "009.jpg", "010.jpg", "016.jpg", "017.jpg", "019.jpg", "023.jpg", "025.jpg"] */
var randomimg=["003.jpg", "005.jpg", "008.jpg", "011.jpg", "013.jpg", "018.jpg", "020.jpg", "021.jpg", "022.jpg", "024.jpg"]

var imgselect=""
var imgnumber=Math.floor(Math.random()*randomimg.length)
imgselect="background-image:url('/images/design/top_backgrounds/design_top_back_"+randomimg[imgnumber]+"');"

document.write('<style type="text/css">\n')
document.write('.randomtopimg {\n')
document.write(''+imgselect+'\n')
document.write('width : 760px;\n')
document.write('height : 166px;\n')
document.write('vertical-align : top;\n')
document.write('background-repeat : no-repeat;\n')
document.write('}\n')
document.write('<\/style>')