HASH(0x7f5cdcced7d8)