HASH(0x71c4d092f248)