HASH(0x71c464987ef0)