HASH(0x7f5cecfb55b8)