HASH(0x7f5cf44c8f80)