- 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);
- }
- else {
- printf("<script id=\"hs%d\" type=\"text/javascript\">
- parent.allmythings = %d;
- console.log(\"zorro \"+parent.allmythings);
- parent.document.location.assign('winstream2.php');
- </script>", $i, $i);