3 <script type="text/javascript" src="xynt/xynt-console.js"></script>
4 <script type="text/javascript" src="xynt/xynt-http-streaming-ifra.js"></script>
5 <script type="text/javascript">
6 var http_streaming = "ready";
9 window.onload = function () { if (http_streaming != "ready") http_streaming.reload(); };
21 for ($i = 0 ; $i < 4096 ; $i++) {
24 for ($i = 0 ; $i < 15 ; $i++) {
29 printf("<script id='hs%d' type='text/javascript'>
30 push(\"$('cont').innerHTML = '%d';\");
38 printf("<!-- %s -->", $s);