C=2*HA_JRE_EF63, (