HASH(0x7f5ce80fa8e8)