/* Constants */
var FILE_EXT = ".php";
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();
	if (directory != "popup") PINT_CSSMenus("nav");
}
function cleanup(){}
window.onload = init;
window.onunload = cleanup;