HASH(0x7f1315ec6750)