let
xk_J = 0x04a