#include #include int main(void) { web_header("Content-type: text/html"); web_echo("%d
", web_time()); web_echo("", 1000); return 0; }