9442 : 4 .)