var current_image=0;

var $banner = jQuery.noConflict();

function rotator() {
  old_image = current_image%image_count;
  new_image = ++current_image%image_count;
  $banner("#banner div:eq(" + old_image + ")").fadeOut(1500);
  $banner("#banner div:eq(" + new_image + ")").fadeIn(500);
}

$banner(document).ready(function(){
  image_count = $banner("#banner div").hide().size(); 
  $banner("#banner div:eq("+current_image+")").show();
  setInterval(rotator,7000); //time in milliseconds
});