13871 , 3 .)