function replaceTopBanner (picDiv) {
//alert("replaceTopBanner invoked. picDiv="+picDiv);
	if (!document.getElementsByTagName) return false;
	if (!document.getElementById) return false;
	if (!document.getElementById(picDiv)) return false;
	
	var so = new SWFObject("/flash/topBanner.swf", "topBannerSWF", "800", "71", "7", "#FFFFFF");
	so.addParam("wmode", "transparent");
	so.write(picDiv);
}
//addLoadEvent( function () {replaceTopBanner('header');});