HASH(0x7f5cdceca9c0)