private void SniffWhitespace()
{
char ch = (char) this.PeekChar();
while (ch == ' ' || ch == '\t' || ch == '\r' || ch == '\n')
{
int i = this.pos;
ch = (char) this.ReadChar();
if (ch != ' ' && ch != '\t' && ch != '\r' && ch != '\n')
{
this.pos = i;
}
}
}