var banner_timer;
var banner_delay = 6500;

function start_banner_rotation()
{
   banner_timer = setTimeout("rotate_banners()", banner_delay);
}

function rotate_banners()
{
   banner_timer = setTimeout("rotate_banners()", banner_delay);

   $('#next_arrow').click();
}