function playPano() {
	var pano = document.getElementById("PanoramaBanner");
	if (pano) {
		pano.playPanorama();
	}
}
function stopPano() {
	var pano = document.getElementById("PanoramaBanner");
	if (pano) {
		pano.stopPanorama();
	}
}
if (window.addEventListener) {
	window.addEventListener("focus", playPano, true);
	window.addEventListener("blur", stopPano, true);
}
else if (window.attachEvent) {
	window.attachEvent("onfocus", playPano);
	window.attachEvent("onblur", stopPano);
}
else {
	window["onfocus"] = playPano;
	window["oblur"] = stopPano;
}