I don’t remember that. But the phone number to get the Olivetti operator from my apartment out on Gugliemo Jarvis was a single digit like 6. It was after all a company town which BTW emptied out on weekends. People tended to go home.