HASH(0x7f5d04b7bb70)