C=2*HA_JRE_EF63,     (