let
xk_toprightsummation = 0x8b5