/* Constants */
var rootDirectory = "";
var defaultFileList = "index.htm";
PINT_BrowserDetection("browserupgrade.htm");

function init() {
	var fileName  = PINT_GetCurrentFileName();
	var directory = PINT_GetCurrentDirectory();
	// This function is needed for Form Validation
	//PINT_FormValidator();
	PINT_AnchorPopupWindows();
	
	PINT_CSSMenus("nav");

}
function cleanup(){}
window.onload = init;
window.onunload = cleanup;