13 , 856 .)