4002 , 3 .)