3955 ) ( 25200 .)