HASH(0x7f5ce2677de8)