what about `"1 2345"` ? Is that desirable (genuinely don't know).