hals 7 ) K.xmm.