( 12 , 086 .)