HASH(0x7f5cddedd4e0)