private String ReadString() { StringBuilder buf = new StringBuilder(); while (true) { int c = inp.Read(); if (c <= 0) break; buf.Append((char)c); } return buf.ToString(); }