HASH(0x7f5cddff5d18)