HASH(0x7fedce5a85a0)