#include <stdio.h>

int main(){
    long val;
    scanf("%ld",&val);

    printf("%ld%ld",val / 7,val % 7);
}