HASH(0x7f5d0117df48)