3955 ) ( 25900 .)