HASH(0x7fedea5cc3a0)