// Rotate banner images called from bottom.inc with array listed there.
function initBanner() { 
 if (!document.getElementById('banner-text')) return
	var current;  var old; 
	while (current == old)
	{
		current = Math.floor(Math.random()*banners.length);
	}
	old = current;
	document.getElementById('banner-text').style.backgroundImage = 'url(\"images/banners/'+banners[current]+'\")';
//alert(document.getElementById('banner-text').style.backgroundImage);
}
  /* 
  
  <div id='banner-text' style="background-image:url(/images/0101.jpg);">Here's some text</div>
  
  page bottom
  <script language='javascript' type="text/javascript">
    var banners = new Array(<?php include('images/banners/file_list.php');?>); initBanner();
</script>
  
  
  
  */