HASH(0x7f5cecfb24e0)