public static GlobalData GetInst() { if (inst_ == null) inst_ = new GlobalData(); return inst_; }
static void Terminate() { GlobalData.GetInst().Save("MostRecent.xml"); }