HASH(0x7f5cedcfcfd0)