HASH(0x7f5d01ff91f0)