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