HASH(0x7f5ce8da7fb8)