3 / * 10 .)