HASH(0x7fedce66fe00)