( 13 , 085 .)