HASH(0x7f5c925be5d8)