9452 ) ( 3900 .)