9448 / 3 .)