/browser.js/1.1/Fri Mar 18 19:09:32 2005//
/instanceof-001.js/1.2/Sat May 26 00:19:28 2007//
/instanceof-002.js/1.3/Sat May 26 00:19:29 2007//
/instanceof-003.js/1.4/Sat May 26 00:19:29 2007//
/regress-7635.js/1.7/Sat May 26 00:19:29 2007//
/shell.js/1.2/Sat May 26 00:19:29 2007//
D
