/* modified w3schools timer code */
	/* timer to trigger div code - use for timed div changes */
	var c=0;
	var t;
	function timedBanner(divs)
  {
    /*var number_of_banners = divs;*/
		
		switchBanner(c);
		c=c+1;
		if (c > divs - 1) {
			 c = 0;
			 }
		t=setTimeout("timedBanner(" + divs + ")",5000);

		/* Code below works with  */
		/* t=setTimeout(timedBanner, 1000, divs); */
  }
	function switchBanner(obj) {

       var banners = new Array();									
       banners[0] = document.getElementById("serviceBanner1").innerHTML;
       banners[1] = document.getElementById("serviceBanner2").innerHTML;
			 banners[2] = document.getElementById("serviceBanner3").innerHTML;
			 banners[3] = document.getElementById("serviceBanner4").innerHTML;
			        
       /*var randombanner = Math.floor(Math.random()* parseInt(document.getElementById("number_of_banners").innerHTML));*/
			 
       document.getElementById("displayBanner").innerHTML = banners[obj];
	}