HASH(0x7fedce651350)