var ct_12_9Xcj = 42;