read *,N
  print '(f0.3)',N*3.5
end