let ``No.57 ミリオンダイス``() =
  stdin.ReadLine()
  |> float
  |> (*) 3.5
  |> stdout.WriteLine
  ()
``No.57 ミリオンダイス``()