C=HA_JRE_EF64, (