/* Constants */
var FILE_EXT = ".php";
var rootDirectory = "";
var defaultFileList = "index.php,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_CSSMenus("nav");

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