( 13 858 .)