void set_title (IFolder WR &folder, 
                char *title, char *doc_name = NULL)
{
  folder.set_title (title).set_doc_name ((doc_name) ? doc_name : "");  
}
