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