1.000000 0.000000 -0.000000 -1.000000 880300.500000 643799.500000