HASH(0x7f5cf457f2e0)