HASH(0x7f5c86e16b60)