9444 : 3 .)