var ct_23_5Hs2 = 23;