HASH(0x7f137de46c88)