HASH(0x7dc80263ce70)