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

int
main(void)
{
    printf("%ld\n", (long) CLOCKS_PER_SEC);
    exit(EXIT_SUCCESS);
}