var banners = new Array(
	'images/slide_show/image1.jpg',
	'images/slide_show/image2.jpg',
	'images/slide_show/image3.jpg',
	'images/slide_show/image4.jpg',
	'images/slide_show/image5.jpg');
var old = 0;
var current = 0;

function init()
{
	if (!document.images) return
	while (current == old)
	{
		current = Math.floor(Math.random()*banners.length);
	}
	old = current;
	document.images['banner'].src = banners[current];
	setTimeout('init()',3000);// to set time out for each image display
}