HASH(0x7f5cda7b00e0)