HASH(0x7f5cddc17af8)