private string NextNameAsString()
{
StringBuilder sb = new StringBuilder();
int ch;
ch = this.NextChar();
while (ch >= 0 && !char.IsWhiteSpace((char)ch) && Separators.IndexOf((char)ch) < 0)
{
sb.Append((char)ch);
ch = this.NextChar();
}
this.PushChar(ch);
return sb.ToString();
}