var ct_23_w954 = 16;