HASH(0x7f7a80574d00)