( 15 231 .)