HASH(0x7fedde5f5db8)