type: float
9.000000
13.000000
0.000000
0.000000
