HASH(0x7f7ab057a4e0)