HASH(0x7fedcc07c8b8)