function bannerRotation(){
	howManyBanners = jQuery(".banner_rotation").length;
	if( howManyBanners > 0){
 		whichBanner = Math.round( Math.random() * (100*(howManyBanners-1)/100) );
		temp = jQuery(".banner_rotation").get( whichBanner ).innerHTML;
		jQuery("#pr_banner_rotation").append( temp );
		jQuery("#pr_banner_rotation").css("paddingBottom", 0 );
	}
}

jQuery(document).ready( function(){
	bannerRotation();
});