7.5000000000
12.0000000000 -8.0000000000 0.0000000000 8.0000000000 -5.0000000000