/* Constants */
var rootDirectory = "";
var defaultFileList = "index.htm";
function init(){}
function cleanup(){}
window.onload = init;
window.onunload = cleanup;