read *,
  print '(i0)', 500
end