var fader_pos = 0;
var fader_arr;
function fader_start(images_arr) {
   fader_arr=images_arr;
   fader_rotate();
}
function fader_rotate() {
   var fader_max = fader_arr.length;
   Effect.Fade(fader_arr[fader_pos], { duration: 3.0 });
   Effect.Appear(fader_arr[((fader_pos==fader_max-1)?1:fader_pos+1)], { duration: 3.0 });
   fader_pos++;
   if (fader_pos==fader_max) {
      fader_pos=1;
   }
   setTimeout('fader_rotate()', 6000);
}