HASH(0x7f5c9dfac5b0)