HASH(0x7f13745725d8)