/browser.js/1.2/Tue Nov  2 22:21:52 1999//
/jsref.js/1.1/Wed May 26 22:23:59 1999//
/shell.js/1.2/Mon Dec  6 22:45:53 1999//
D
