let xk_Thai_leksong                                        = 0xdf2