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(); };
24 for ($i = 0 ; $i < 4096 ; $i++) {
27 for ($i = 0 ; $i < 15 ; $i++) {
32 printf("<script id='hs%d' type='text/javascript'>
33 push(\"$('cont').innerHTML = '%d';\");
41 printf("<!-- %s -->", $s);