#include <unistd.h>
#include <stdio.h>

int main( int argc, char **argv )
{
    printf("%d\n", sysconf(_SC_CLK_TCK));
    return 0;
}