/*changes the banner every BANNER_FREQUENCY milliseconds*/
var bannerImages = new Array();
var activeBanner = 0;
var BANNER_FREQUENCY = 5000;
var BANNER_PREFIX = "../images/banner/";

function BannerImage(title, href, src)	{
	this.title = title;
	this.href = "http://" + href;
	this.src = BANNER_PREFIX + src;
}

bannerImages[0] = new BannerImage("Ned Kelly's", "www.nedkellysbar.com", "nedkellys.gif");
bannerImages[1] = new BannerImage("Kilian's", "www.kiliansirishpub.com", "kilians.gif");
bannerImages[2] = new BannerImage("Shamrock", "www.irish-pub-munich.com", "shamrock.gif");

function changeBanner(index)	{
	var banner = bannerImages[index];
	var image = document.getElementById("bannerImage");
	var link = document.getElementById("bannerLink");
	
	image.setAttribute("src", banner.src);
	image.setAttribute("title", banner.title);
	
	link.setAttribute("href", banner.href);
}

function activateBanner()	{
	changeBanner(activeBanner);
	setTimeout("activateBanner()", BANNER_FREQUENCY);
	
	activeBanner++;
	
	if (activeBanner == bannerImages.length)	{
		activeBanner = 0;
	}
}