// saud - 11-Dec-2000
	// saud - modified 15-Sep-2001
	//	Assumes that tab and bar images are available as
	//	tab1.gif - tab8.gif and bar1.gif - bar8.gif,
	//	all under a /images directory.  Correct this assumption as
	//	necessary.

	//	If the page loading this JS in-line doesn't define defaultTab,
	//	at least we've done so here
//	var defaultTab   = 1;

	//	Create images arrays for manipulation on mouseover
	var numTabs = 7;
	var off  = new Array();
	var on   = new Array();
	var desc = new Array();
	if (document.images) {
		for (var i=1; i<=numTabs; i++) {
			off[i] = new Image();
			off[i].src = "/images/inactiveTab"+i+".gif";
			on[i] = new Image();
			on[i].src = "/images/activeTab"+i+".gif";
			desc[i] = new Image();
			desc[i].src = "/images/bar"+i+".gif";
		}
	}

	function tabOver(description, tab) {
	//	Produce the tabBar action
		document.images["bar"].src     = desc[tab].src;
		document.images["tab"+tab].src = on[tab].src;
		if (tab != defaultTab)
			document.images["tab"+defaultTab].src = off[defaultTab].src;
		self.status = description;
	}

	function tabOut(tab) {
	//	Produce the tabBar action
		if (tab != defaultTab && off[tab]) {
			document.images["tab"+tab].src = off[tab].src;
		}
		document.images["bar"].src     = desc[defaultTab].src;
		document.images["tab"+defaultTab].src = on[defaultTab].src;
		self.status = " ";
	}