HASH(0x7f5ccdefe2f0)