HASH(0x7fedce66c6f0)