k 8 : 80 23 ; k 24;