let xk_section             = 0x0a7