HASH(0x7fedea5dc6d8)