void main(){printf="700.28148";}