n = int(input()) s = n//5 + n//3 print(2*s)