3942 , 3 .)