* 12 : k 16: