- for ($i = 0 ; $i < 300 ; $i++) {
-
- /* parent.document.getElementById('cont').innerHTML = \"%d\";
- parent.allmythings = \"%d\"; */
- if ($i != 350) {
- printf("<script id=\"hs%d\" type=\"text/javascript\">
- parent.allmythings = %d;
- console.log(\"zorro \"+parent.allmythings);
-
- </script>", $i, $i);
+ for ($i = 0 ; $i < 15 ; $i++) {
+ // if ($i == 0)
+ // sleep(1);
+
+ if ($i != 8 || true) {
+ printf("<script id='hs%d' type='text/javascript'>
+push(\"$('cont').innerHTML += '%s %d';\");
+</script>", $i, ($i == 0 ? "<br/>" : ""), $i);