HASH(0x7f5ce80ba0c8)