
<!-- Paste this code into an external JavaScript file named: banner.js.js  -->

var bannerImg = new Array();
  // Enter the names of the images below
  bannerImg[0]="img/media-precision.jpg";
  bannerImg[1]="img/media-precision-polishpin1.jpg";
  bannerImg[2]="img/media-precision-polishsphere1.jpg";
  bannerImg[3]="img/media-precision-polishtriangle1.jpg";
  bannerImg[4]="img/media-precision-fastcutpin1.jpg";
  bannerImg[5]="img/media-precision-fastcutsphere1.jpg";
  bannerImg[6]="img/media-precision-fastcuttriangle1.jpg";

var newBanner = 0;
var totalBan = bannerImg.length;

function cycleBan() {
  newBanner++;
  if (newBanner == totalBan) {
    newBanner = 0;
  }
  document.banner.src=bannerImg[newBanner];
  // set the time below for length of image display
  // i.e., "4*1000" is 4 seconds
  setTimeout("cycleBan()", 4*1000);
}
window.onload=cycleBan;