public static string String() { string str = ""; char ch; while ((int)(ch = stream.ReadChar()) != 0) str = str + ch; return str; }