HASH(0x7f5cddee8ca0)