<!--// image file names go in these arraysrandImgObj.set1 = new Array("logo00.jpg","logo01.jpg","logo02.jpg","logo03.jpg","logo04.jpg","logo05.jpg","logo06.jpg","logo07.jpg");// If all the images you wish to display are in the same location, you can specify the path here randImgObj.imagesPath = "images/page/";// No need to edit code below this line /////////////////////////////////////////////////////////////////////Array.prototype.shuffle = function() {   var i, temp, i1, i2;  for (i=0; i<this.length; i++) {     i1 = Math.floor( Math.random() * this.length );    i2 = Math.floor( Math.random() * this.length );   	//i1 = Math.floor( Math.random() * this.length );    //i2 = Math.floor( Math.random() * this.length );    temp = this[i1];    this[i1] = this[i2];    this[i2] = temp;  }}randImgObjs = []; // holds all random rotating image objects defined// constructor function randImgObj(s) {  this.speed=s; this.ctr=0; this.timer=0;    this.index = randImgObjs.length; randImgObjs[this.index] = this;  this.animString = "randImgObjs[" + this.index + "]";}randImgObj.prototype = {  addImages: function(ar) { // preloads images    this.imgObj.imgs = [];    for (var i=0; ar[i]; i++) {      this.imgObj.imgs[i] = new Image();      this.imgObj.imgs[i].src = randImgObj.imagesPath + ar[i];    }  },  rotate: function() { // controls rotation    var ctr = Math.floor( Math.random() * this.imgObj.imgs.length );    if (ctr == this.ctr) ctr = (ctr > 0)? --ctr: ++ctr;    this.ctr = ctr;    if ( typeof this.imgObj.filters != "undefined" ) {   		this.imgObj.style.filter = 'blendTrans(duration=1)';      if (this.imgObj.filters.blendTrans) this.imgObj.filters.blendTrans.Apply();    }    this.imgObj.src = this.imgObj.imgs[this.ctr].src;    if ( typeof this.imgObj.filters != "undefined" && this.imgObj.filters.blendTrans )      this.imgObj.filters.blendTrans.Play();      }}// sets up rotation for all defined randImgObjsrandImgObj.start = function() {  for (var i=0; i<randImgObjs.length; i++)     randImgObjs[i].timer = setInterval(randImgObjs[i].animString + ".rotate()", randImgObjs[i].speed);                     }randImgObj.setUpImg = function(imgAr, sp, w, h) {  var rotator, img, imgStr = "";  rotator = new randImgObj(sp);  randImgObjs[randImgObjs.length-1].imgAr = imgAr;  imgAr.shuffle();  img = imgAr[ Math.floor( Math.random() * imgAr.length ) ];  imgStr += '<A HREF="index.html" ONMOUSEOVER="changeImages(\'home_anim\', \'images/page/menu/home_anim.gif\'); return true;" ONMOUSEOUT="changeImages(\'home_anim\', \'images/page/top_bit.gif\'); return true;"><img src="' + randImgObj.imagesPath + img + '" alt="" ';imgStr += 'name="img' + (randImgObjs.length-1) + '" width="' + w + '" height="' + h + '" border="0"></a>';//   imgStr += '<img src="' + randImgObj.imagesPath + img + '" alt="" ';//    imgStr += 'name="img' + (randImgObjs.length-1) + '" width="' + w + '" height="' + h  + '">';  document.write(imgStr); }function initRandRotation() {  for (var i=0; randImgObjs[i]; i++) {    var rotator = randImgObjs[i];    rotator.imgObj = document.images["img" + i]; // get reference to the image object    rotator.addImages(rotator.imgAr);    rotator.rotate();  }  randImgObj.start();  }//-->