HASH(0x7f138051bb08)