So if someone gives you a European number such as +45 1234 56 78 or 0045 1234 5678, what would one actually dial from the USA?
or