var ct_12_4ACj = 4;