5 ( 11843 .)