let xk_Udoubleacute        = 0x1db