4067 , 3 .)