12 , 42 ; 6 , 35 * );