TO_IP(v)