4 , 12 ; 9 , 13;