var image_interval;
var interval_ms = 5000;
var current_image_id = -1;

$(document).ready(function () {
	images = $("#contentHead > div.banner");
	image_interval = setInterval(doRotation, interval_ms);
});

function doRotation() {
	var next_image_id = (current_image_id + 1) % images.length;
	$("#feature_"+next_image_id).removeClass('hidden').fadeIn('slow');
	$("#feature_"+current_image_id).fadeOut('slow');
	current_image_id = next_image_id;
}