HASH(0x7f5cddbe01b8)