HASH(0x7fedce5e1fc0)