16096 ) ( 3940 .)