HASH(0x7f5d00557fc0)