// JavaScript Document
<!-- Document title -->
function setTitle($title) {
	document.title = $title;
}
<!-- Flash movie ID -->
var movieID = (attributes.id) ? attributes.id : "flash";

<!-- Flash object path -->
function getFlashMovie(movieName) {
	var isIE = navigator.appName.indexOf("Microsoft") != -1;
	return (isIE) ? window[movieName] : document[movieName];
}

function onJSChangePath() {
	getFlashMovie(movieID).onJSChangePath(window.location.hash);
}

<!-- Window navihation path -->
var intervalID = window.setInterval ("observeHash()", 1);
var lastHash = window.location.hash;
function setPath($path){
	window.clearInterval (intervalID);
	window.location.hash=$path;
	lastHash = window.location.hash;
	intervalID = window.setInterval ("observeHash()", 1);
	return false;
}
function observeHash (){
	if (window.location.hash != lastHash){
		window.clearInterval (intervalID);
		lastHash = window.location.hash;
		getFlashMovie(movieID).onJSChangePath(window.location.hash);
		intervalID = window.setInterval ("observeHash()", 1);
	}
}
