4252 , 3 .)