n = gets.chomp.to_i
n15 = n / 15
n3 = n / 3
n5 = n / 5
puts (n3 + n5 - n15) * 2 + n15 * 2