/instanceof-001.js/1.1/Thu Jun 17 00:20:03 1999//
/instanceof-002.js/1.1/Thu Jun 17 00:20:03 1999//
/instanceof-003.js/1.1/Thu Jun 17 00:20:03 1999//
/regress-7635.js/1.2/Tue Nov  2 22:20:54 1999//
D
