n = gets.to_i

x3 = n / 3 * 2
x5 = n / 5 * 2
puts x3 + x5