7 , 51 ; 9.12 ( lokalt .)