HASH(0x7f5cdcd42380)