HASH(0x7f5cddfa40d0)