// JavaScript Document
var banner= new Array()
banner[0]="http://www.privatevillaalgarve.com/main-images/h1-2"
banner[1]="http://www.privatevillaalgarve.com/main-images/h1-3"
banner[2]="http://www.privatevillaalgarve.com/main-images/h1-4"
banner[3]="http://www.privatevillaalgarve.com/main-images/h1-5"
banner[4]="http://www.privatevillaalgarve.com/main-images/h1-6"
banner[5]="http://www.privatevillaalgarve.com/main-images/h1-7"
banner[6]="http://www.privatevillaalgarve.com/main-images/h1-8"
var random=Math.floor(7*Math.random());
document.write("<style>");
document.write("#header {");
document.write(' background:url("' + banner[random] + '") no-repeat top left;');
document.write(" }");
document.write("</style>");