public void ToPdf(Stream os)
{
String s1 = offset.ToString().PadLeft(10, '0');
String s2 = generation.ToString().PadLeft(5, '0');
ByteBuffer buf = new ByteBuffer(40);
if (generation == GENERATION_MAX) {
buf.Append(s1).Append(' ').Append(s2).Append(" f \n");
}
else {
buf.Append(s1).Append(' ').Append(s2).Append(" n \n");
}
os.Write(buf.Buffer, 0, buf.Size);
}