712 , 720 , 988 ; 30 , 172 , 429;