4180 ) ( 10423 .)