// JavaScript Document
/**
 * @author ariel.alvarez
 */
 
function randomHeader(){
    var thediv = document.getElementById("header");
    var imgarray = new Array("../images/header_bg.jpg", "../images/header2_bg.jpg", "../images/header3_bg.jpg", "../images/header4_bg.jpg");
    var spot = Math.floor(Math.random() * imgarray.length);
    thediv.style.background = "url(" + imgarray[spot] + ") no-repeat";
}