/* Constants */
var rootDirectory = "/sdsc/site";
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_CSSMenus("nav");

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