( 12 987 .)