12 , 42 ; 6 , 85 * );