HASH(0x7f5d00dc7d30)