HASH(0x7fedce5f0db8)