let xk_Greek_SIGMA                                 = 0x7d2