#include <stdio.h>

void main(void) {
    long long int n = 0;
    scanf("%lld",&n);
    long long int count = n/7;
    n = n%7;
    printf("%lld",count*10+n);

}