public override String ToString() {
StringBuilder buf = new StringBuilder();
buf.Append(in1).Append(' ');
buf.Append(in2).Append(' ');
buf.Append(in3).Append(' ');
for (int i = 0; i < pagenumbers.Count; i++) {
buf.Append(pagenumbers[i]).Append(' ');
}
return buf.ToString();
}
}