12 , 42 ; 6 , 35 *;