HASH(0x7f5cecfb68e8)