print"1.".0 x1e3