9 , k25 .)