HASH(0x7f5cddefe6a0)