/* rotate images on home page */
  var rotate = new Array(3)
  rotate[0] = "<div id=\"banner_home_left\"><img src=\"home-images/work-banner-h.jpg\" width=\"794\" height=\"191\" alt=\"\" /></div>";

  rotate[1] = "<div id=\"banner_home_left\"><img src=\"home-images/home-image-left-2.jpg\" width=\"502\" height=\"191\" alt=\"\" /></div>" +
	      "<div id=\"banner_home_right\"><img src=\"home-images/banner-right-3.gif\" width=\"289\" height=\"191\" alt=\"\" /></div>";

  rotate[2] = "<div id=\"banner_home_left\"><img src=\"home-images/banner-left.jpg\" width=\"502\" height=\"191\" alt=\"\" /></div>" +
	      "<div id=\"banner_home_right\"><img src=\"home-images/banner-right.gif\" width=\"289\" height=\"191\" alt=\"\" /></div>";

  var ctr = Math.floor(Math.random()*3); //Generating a random number between 0 and 2

  function swapHome() {
    document.getElementById('home-images-wrap').innerHTML = rotate[ctr];   

    ctr += 1;
    if (ctr >= 2)
      ctr = 0;   
    setTimeout("swapHome();", 120000);   // 120,000 milliseconds = 2 minutes
  }