HASH(0x7f137dea34b0)