( 12 , 0S7 .)