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