/* 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();
	//PINT_FirstFocus()
		
	// Uncomment for Nice Titles;
	//PINT_MakeNiceTitles("testdiv","testp");
	
	// This function is needed for Form Validation
	//PINT_FormValidator();

	//kRollovers
	krollover();

	if (directory != "popup") PINT_CSSMenus("nav");
	}

function cleanup(){}

window.onload = init;

window.onunload = cleanup;