document.write('<SCRIPT SRC="/hamlet/top.js">...</SCRIPT>');