1 <!DOCTYPE HTML PUBLIC "-//IETF//DTD HTML//EN"> 2 <html> 3 <head> 4 <link rel="stylesheet" href="../../js/resources/js-test-style.css"> 5 <script src="../../js/resources/js-test-pre.js"></script> 6 </head> 7 <body> 8 <p id="description"></p> 9 <div id="console"></div> 10 <script src="resources/reentrant-success.js"></script> 11 <script src="resources/js-test-post.js"></script> 12 </body> 13 </html> 14