HASH(0x7fedea5b8d40)