HASH(0x7fedda5d7db8)