HASH(0x7f5cd5ec41c0)