// JavaScript Document


   adNum=0;
   time2=leaderTime[0];
	function rotateLeaderboard(){
	if (adNum < 1) adNum++;
	   else adNum=0;
	   time2=leaderTime[adNum];
		 document.getElementById('leaderboard1').innerHTML = leaderAd[adNum];
	   setTimeout('rotateLeaderboard()', time2);
	}