private void export(string fileName) { fileName = fileName + ".txt"; DataIO.SaveToText(bs, fileName); }