#include<stdio.h>

#define Limit 100000

main( int argc, char *argv[]){

int i = 1;

double mul = 0;

for(i; i<=Limit; i++){

if(i%7 == 0){

mul = mul + 1;

}

}

printf("%d", mul);

}