HASH(0x7f1315e2a858)