in his free time =when__同义句.