public char ReadChar() { int ch1 = this.Read(); int ch2 = this.Read(); if ((ch1 | ch2) < 0) throw new EndOfStreamException(); return (char)((ch1 << 8) + ch2); }