/browser.js/1.2/Tue Nov  2 22:20:55 1999//
/jsref.js/1.1/Wed May 26 22:22:02 1999//
/shell.js/1.3/Tue Nov  2 22:20:55 1999//
D
