C=HA_JRE_EF64,     (