/browser.js/1.1/Fri Mar 18 19:09:32 2005//
/instanceof-001.js/1.1/Thu Jun 17 00:20:03 1999//
/instanceof-002.js/1.2/Fri Mar 18 19:09:32 2005//
/instanceof-003.js/1.3/Thu Nov 24 03:51:57 2005//
/regress-7635.js/1.6/Thu Nov 24 03:51:58 2005//
/shell.js/1.1/Fri Mar 18 19:09:32 2005//
D
