// JavaScript Document

onload = function() {

images = new Array(	// set up an array of the images
"../../images/propertymanagement/PROPERTY_MANAGEMENT_1.jpg",
"../../images/propertymanagement/PROPERTY_MANAGEMENT_2.jpg",
"../../images/propertymanagement/PROPERTY_MANAGEMENT_3.jpg"
);

rand = Math.floor(Math.random()*images.length); // chose a random number, between 0 and the length of the array -1
currentImage = images[rand]; // set img to the random image's src

document.getElementById("propertymanagement_top_image").src = currentImage; // for img tag
document.getElementById("propertymanagement_top_image").style.backgroundImage = "url("+currentImage+")"; //for div background

//document.body.style.background = "url("+img+")"; // set the background image
}