HASH(0x7f5d044dd4d0)