/* home page banner image rotation
   ( based on http://www.quirksmode.org/js/rotate.html) */

var banners = new Array(
	'/css/banner-images/banner0.jpg',
	'/css/banner-images/banner1.jpg',
	'/css/banner-images/banner2.jpg',
	'/css/banner-images/banner3.jpg',
	'/css/banner-images/banner4.jpg',
	'/css/banner-images/banner5.jpg',
	'/css/banner-images/banner6.jpg',
	'/css/banner-images/banner7.jpg',
	'/css/banner-images/banner8.jpg',
	'/css/banner-images/banner9.jpg',
	'/css/banner-images/banner10.jpg',
	'/css/banner-images/banner11.jpg',
	'/css/banner-images/banner12.jpg',
	'/css/banner-images/banner13.jpg',
	'/css/banner-images/banner14.jpg',
	'/css/banner-images/banner15.jpg');

var old = 0;
var current = 0;

function initImages()
{
	if (!document.images) return
	while (current == old)
	{
		current = Math.floor(Math.random()*banners.length);
	}
	old = current;
	document.images['bimage'].src = banners[current];
}