HASH(0x7f5cddec80a0)