HASH(0x71c464982e20)