// JavaScript Document

if (document.images) {
ads = new Array(4);
ads[0] = "images/slideshow/bugslug.png";
ads[1] = "images/TGLOBALbuilding2Front.jpg";
ads[2] = "images/TGLOBALbuildingFront.jpg";
ads[3] = "images/center_for_innovation_2.jpg";
}


var timer = null
var	 counter = 0

function banner() {
	    timer=setTimeout("banner()", 5000);
		counter++;
		if (counter >= 4)
		counter = 0;
		document.getElementById("photo").src = ads[counter];
}