( KL 7-half 10 .)