HASH(0x7f5cc80fe4f0)