HASH(0x7fedea5cc4c8)