function randInt(min,max)
{
     var div = (max - min) + 1
     var randNum = Math.random()
     for (var i = 0; i <= div - 1; i++)
     {
          if (randNum >= i / div && randNum < (i+1) / div)
          {return i + min}
     }
}

function swapBanners() {
	
	var abc = randInt(1,3);
	//var bannerDiv = document.getElementById("Java_banner");

	if (abc == 1) {

     	document.write(Banner1);

	}

	if (abc == 2) {

     	document.write(Banner2);

	}

	if (abc == 3) {

    	document.write(Banner3);

	}	
}