function initialize() {
	images = new Array();
	// including the full img tag in case individual styling is needed (and so alt property is meaningful)
	images[0] = '<img src="/images/restring_clinic_banner.jpg" alt="Ken Stanton Music Restring Clinic" />';
	images[1] = '<img src="/images/mangini_banner.jpg" alt="Ken Stanton Music presents a Mike Mangini Drum Clinic!" />';
	banner_number = random_number();
}

function timing_cycle() {
	window.setTimeout('rotate_banners()',9000);
}

function rotate_banners() {
	// just a simple increment for now
	document.getElementById('top_banner_image').innerHTML = images[banner_number];
	banner_number++;
	if (!images[banner_number]) {
		banner_number = 0;
	}
	timing_cycle();
}

function random_number() {
	var limit = (images.length);
    var banner_number = Math.floor(Math.random()*limit);
	return banner_number;
}