( 12 , 0S8 .)