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