let xk_seconds                                     = 0xad7