If that was a UK number, it should be a London one -- area code 020, dropping the first 0 for international, followed by an eight-digit number. (UK phone numbers are odd by American standards -- no standard length for area code or number -- and London numbers are odd by UK standards, and have been messed around twice in the last dozen years.)