n = gets.chomp.to_i
p((Rational(3.5) * n))