#!/usr/bin/env python

import sys
import re

space_between_plus_and_digit = re.compile(r"\+\s+[0-9]")
phone_number_regex = re.compile(r"(\+|00)?([0-9]+)")

def extract_number(line):
    if space_between_plus_and_digit.search(line):
        return None
    line = line.replace(" ", "")

    m = phone_number_regex.match(line)
    if not m:
        return None

    prefix = m.group(1)
    number = m.group(2)

    if prefix == "00" and number.startswith("00"):
        return None

    l = len(number) if number else 0
    if l == 3 or (l >= 7 and l <= 12):
        return number


def main(args):
    if len(args) < 2:
        print "Missing argument"
        return -1

    with open(args[1], "r") as phone_numbers_file:
        lines = phone_numbers_file.read().splitlines()

    for line in lines:
        phone_number = extract_number(line)
        print "{0} -> {1}".format(line, phone_number if phone_number else "Invalid")





main(sys.argv)