* / * 9 , 10 , 7,12f.