//this script changes the banner image on refresh. It takes the current image src attribute and replaces it with a new one.

$(document).ready(function() {
	var bannerImages = new Array('01.jpg','02.jpg', '03.jpg', '04.jpg', '05.jpg', '06.jpg', '07.jpg', '08.jpg', '09.jpg', '10.jpg');
	var randomnumber=Math.floor(Math.random()*10);
	
	var imageURLpos = $('#banner img').attr("src").lastIndexOf('/'); 
	var currentSource = $('#banner img').attr("src").substring(0,imageURLpos);
	
	var imageSource = currentSource + "/" +  bannerImages[randomnumber];

	
	$('#banner img').attr('src',imageSource );
 
 });