kr 12 : & gt;