private string _readInteger() { string s = string.Empty; while(!_eof() && Char.IsDigit(_peekChar())) { s += _readChar(); } return s; }