n = gets.chomp.to_i
p  (n/5+n/3)*2