HASH(0x7f5ccd0be1f8)