HASH(0x7fedea5f4d80)