#include "header.h"
int main(void)
{

	printf("%lf\n",(double)CLOCKS_PER_SEC);
	return 0;
}