main=putStr"700.28148"