HASH(0x71c4d09aff68)