HASH(0x7f5cff213de0)