#include <stdio.h>
#include <time.h>

void web_header(char *fmt)
{
	printf("%s\r\n\r\n", fmt);
}

void web_echo(char *fmt, ...)
{
	printf(fmt);
}

int web_time(void)
{
	time_t unixepoch;
	unixepoch = time(NULL);

	return unixepoch;
}