Not in (540), BTW. As far as being able to dial 7 digits for local calls, the rule is generally that, if two area codes overlap over a geographical area, you need to dial 10 digits for ALL calls. Otherwise, 7-digit dialing is allowed.

As an interesting note, not all dialing in the US needed to be 7 digits till the 80s. Small beach town in NJ. You could dial either the last 5 digits or the full 7-digit number for local calls.

For calls outside of the immediate town, you needed to dial 1, then the 7-digit number, or the 1+area code+number if calling outside of the area code.

As far as outside the US, it varies by country. Poland, for example, has 2-digit area codes and 7-digit numbers, now. Before about 15 years ago, there were 6-digit phone numbers and operator phones in smaller towns. i.e., you'd dial the area code for the town and the operator would come on the line "(town name), hello, what number?" My uncle's phone # was "42".