HASH(0x7f5cecdd9f18)