var _____WB$wombat$assign$function_____ = function(name) {return (self._wb_wombat && self._wb_wombat.local_init && self._wb_wombat.local_init(name)) || self[name]; }; if (!self.__WB_pmw) { self.__WB_pmw = function(obj) { this.__WB_source = obj; return this; } } { let window = _____WB$wombat$assign$function_____("window"); let self = _____WB$wombat$assign$function_____("self"); let document = _____WB$wombat$assign$function_____("document"); let location = _____WB$wombat$assign$function_____("location"); let top = _____WB$wombat$assign$function_____("top"); let parent = _____WB$wombat$assign$function_____("parent"); let frames = _____WB$wombat$assign$function_____("frames"); let opener = _____WB$wombat$assign$function_____("opener"); function printModifiedDate(displayLabel) { if (!document.layers) { var modified = new Date(document.lastModified); var mod_month = modified.getMonth() + 1; var mod_date = modified.getDate(); var mod_year = modified.getFullYear(); if (mod_month < 10) { mod_month = '0' + mod_month; } if (mod_date < 10 ) { mod_date = '0' + mod_date; } var modified = mod_year + '-' + mod_month + '-' + mod_date ; document.write(displayLabel + " " + modified); } } function printCreatedDate(displayLabel) { if (document.fileCreatedDate) { var created = new Date(document.fileCreatedDate); var created_month = created.getMonth() + 1; var created_date = created.getDate(); var created_year = created.getFullYear(); if (created_month < 10) { created_month = '0' + created_month; } if (created_date < 10 ) { created_date = '0' + created_date; } var created_output = created_year + '-' + created_month + '-' + created_date ; document.write(displayLabel + " " + created_output); } } } /* FILE ARCHIVED ON 03:47:15 Dec 13, 2006 AND RETRIEVED FROM THE INTERNET ARCHIVE ON 10:37:36 Jul 09, 2024. JAVASCRIPT APPENDED BY WAYBACK MACHINE, COPYRIGHT INTERNET ARCHIVE. ALL OTHER CONTENT MAY ALSO BE PROTECTED BY COPYRIGHT (17 U.S.C. SECTION 108(a)(3)). */ /* playback timings (ms): RulesEngine.query: 20.977 PetaboxLoader3.resolve: 38.663 PetaboxLoader3.datanode: 19.605 */