HASH(0x7f081ce4dc08)