HASH(0x7f5cddfc41d0)