HASH(0x7f5ce80988e8)