let n = int(System.Console.ReadLine()) let ans = n / 3 + n / 5 * 2 printf "%d" ans