HASH(0x7f5cfa871f00)