let
xk_Thai_baht = 0xddf