<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en">
  <head>
    <script type="text/javascript">
%s
    </script>
  </head>
<body>
  <pre id="buffer"></pre> 
  <div>
    <input type="text" id="mini-buffer" value="" />
    <button onclick="connect();">connect</button>
    <button onclick="ws.close();">close</button>
  </div>
</body>
</html>
