#include <time.h>

double second(void)
	{
	return (double)clock() / (double)CLOCKS_PER_SEC;
	}