var ct_10_CED3 = 2;