/* Constants */
var rootDirectory = "";

var defaultFileList = "index.php";

BrowserDetection("browserupgrade.htm");

function init()
{
	var fileName  = GetCurrentFileName();
	var directory = GetCurrentDirectory();
	AnchorPopupWindows();
	setDefaultFontSize();
}

function cleanup()
{
	//killCookie();
}

window.onload = init;
window.onunload = cleanup;