a total of 17712.0 hours on space missions was spent by what astronaut?
(AND spaceflight.astronaut (JOIN spaceflight.astronaut.space_time_minutes 17712.0^^http://www.w3.org/2001/XMLSchema#float))