HASH(0x7f5cddea0bc0)