4 , 137 ; 8 , 195 ; 8 , 199 ; 9 , 635;