// JavaScript Document

function rotateImage() {
	var div_id = "home-banner"; // Name of the div that contains the images
	var num_images = 9; // Change the number of images here
	var images_folder = "images/rotations"; // Change the folder name for the images here
	var images_name = "home-banner-bg"; // Change the name for the images here. Use the same name for each image
	
	// IMPORTANT! Naming convention for images need to be imagename1.jpg, imagename2.jpg and so on...
	
	// Do not edit below this line
	var rand_num = Math.random();
	rand_num = parseInt(rand_num * num_images) + 1;
	document.getElementById(div_id).style.background = "url("+images_folder+'/'+images_name+rand_num+'.jpg'+") no-repeat"; 
	//document.rotateImage.src = images_folder+'/'+images_name+rand_num+'.jpg';
}