HASH(0x7f5cda022b00)