/* Constants */
var rootDirectory = "";

var defaultFileList = "index.html, index.htm";

PINT_BrowserDetection("browserupgrade.htm");

function init()
	{
	var fileName  = PINT_GetCurrentFileName();
	var directory = PINT_GetCurrentDirectory();
	PINT_AnchorPopupWindows();
	}

function cleanup(){}

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