function banner(img_source,alt,title,url,target) {
	this.img_source = img_source;
	this.alt = alt;
	this.title = title;
	this.url = url;
	this.target = target;
}

banners = new Array();
banners[0] = new banner("/banners/dealermail_banner.gif",
                        "Contact AutoNexus Today To Schedule A Demonstration.",
                        "Contact AutoNexus Today To Schedule A Demonstration.",
                        "/view.php?page=dealermail",
						"");

banners[2] = new banner("/banners/vehicleservices_banner.gif",
				"Next Generation High-Resolution Digital Photography, Ultimate Data Collection, & Web Distribution + Window Stickers!",
				"Next Generation High-Resolution Digital Photography, Ultimate Data Collection, & Web Distribution + Window Stickers!",
				"/view.php?page=vehicle_services",
				"");


banners[1] = new banner("/banners/blackberry_banner.gif",
				"The AutoNexus Rapid-Response System for BlackBerry.",
				"The AutoNexus Rapid-Response System for BlackBerry.",
				"/view.php?page=blackberry",
				"");

						
						
var len = banners.length ;

function display_banner() {
	var i = Math.floor(2*Math.random());
	document.write('<a href="'+ banners[i].url + '" target="' + banners[i].target + '"><img src="' + banners[i].img_source + '" name="theImage" border=0 alt="' +banners[i].alt+ '"></A>');
	return banners[i];
}