(COX2_THET8/3-40:0.0,Q72JK3_THET2/3-40:0.0);