// ------------------------
var img = new Array();
var pic = 1;
function pic_rotation() {
  var imgTimeout=window.setTimeout( "pic_rotation()", 4000 );
  if (pic == pics.length) {pic = 0};
   if(document.getElementById('main_img')) {
      document.getElementById('main_img').src = pics[pic];
   } 
  pic = (pic + 1);
}
function loadImages() {
  if (pics!=null) {
    if (pics.length>1) {
      for (i=1;i<pics.length;i++) { 
        img[i] = new Image(156,140);
        img[i].src = pics[i];
      }
      var imgTimeout=window.setTimeout( "pic_rotation()", 4000 );
    }
  }
}