push(\"$('cont').innerHTML += '%s %d';\"); ", $i, ($i == 0 ? "
" : ""), $i); } else { // exit(); // sleep(30); } if ($i == 0) printf("", $s); mop_flush(); usleep(1000000); } } main(); ?>