HASH(0x7fedfc50f588)