HASH(0x7f137ddfaa68)