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