num = gets.to_i
print 2 * (num / 5 + num / 3)