HASH(0x7f1315e74a70)