tmp = input()

num1 = int(tmp)//7
num2 = int(tmp)%7

print("{0}{1}".format(num1,num2))