val n = valOf (TextIO.scanStream (Int.scan StringCvt.DEC) TextIO.stdIn);

print (Real.toString (Real.fromInt (n * 35) / 10.0) ^ "\n");