/browser.js/1.1/Wed Aug 31 04:52:30 2005//
/instanceof-001.js/1.5/Sat May 26 00:19:49 2007//
/shell.js/1.2/Sat May 26 00:19:49 2007//
D
