// Array of pictures
var banners = new Array ("img/1.jpg", "img/2.jpg", "img/3.jpg", "img/4.jpg", "img/5.jpg", "img/6.jpg", "img/7.jpg", "img/8.jpg", "img/9.jpg", "img/10.jpg" );
// Time in seconds
var time = 7;
///////////////////////////////////////////////////////////////
function new_banner(){
	clearTimeout(timer);
	timer = setTimeout('new_banner()',time*1000);
	document.homeBanner.src = banners[current];
	current += 1;
	if(current >= banners.length){
		current = 0;
	}
	return;
}
function get_random(){
	var current = Math.round((banners.length-1)*Math.random());
	return current;
}
timer = 0;
current = get_random();
new_banner();