HASH(0x7fedea5e40f8)