HASH(0x7f5ccd01f7b8)