HASH(0x7fedea5cd0a0)