function switchBanner(){	
if ((flashinstalled) && (flashversion >= 6)){
	document.getElementById("imageBanner").style.display = "none";
	document.getElementById("flashBanner").style.display = "block";	
}
}

function hideAll(){
	document.getElementById("imageBanner").style.display = "none";
	document.getElementById("flashBanner").style.display = "none";
}