HASH(0x7f5cadefcbc0)