HASH(0x7f5cadec0f80)