13894 ) ( 3862)