10002 ) ( 4022 .)