public void SetHeader(CSHeader h) { header = h; }
public CSTextDocument(CSHeader h) { SetHeader(h); }