HASH(0x71c4d09b6d40)