let xk_Thai_dodek                                        = 0xdb4