HASH(0x7fedea7037c8)