	<!-- Hide script from older browsers
	// This script copyright 1999 Dori Smith
	
		browserRev = parseInt(navigator.appVersion)			// Are we Mozilla 3 compatible? (or later)
		thumbnailCount = 34									// how many images do we have?
	   	displayTime = 3										// Change the image every 3 seconds

 	   if (document.images) {
			nextThumb = new Image
			imageNo = Math.floor(Math.random() * thumbnailCount)
			nextThumb.src = "images/logos/top_banner_lundon1.jpg"
		}

		function animate() {
			if (getNext()) {
				document.thumbnail.src = nextThumb.src		// Set the thumbnail image
				imageNo++
				if (imageNo == thumbnailCount)
					imageNo = 0
				nextThumb.src = "images/logos/top_banner_dublin1.jpg"
			}
			setTimeout("animate()", displayTime * 1000) 	// And wait till we go around again
		}

		function getNext() {
			if (browserRev == 3 && nextThumb.complete)
				return true
			if (browserRev >= 4 && document.thumbnail.complete)
				return true
			return false
		}

	// End hiding script -->