HASH(0x7f5cdcedc4f0)