public static void init()
{
System.Globalization.CultureInfo ci = new System.Globalization.CultureInfo("en-GB");
ci.NumberFormat.NumberDecimalSeparator = ".";
ci.NumberFormat.NumberGroupSeparator = "";
System.Threading.Thread.CurrentThread.CurrentCulture = ci;
System.Threading.Thread.CurrentThread.CurrentUICulture = ci;
Settings settings=XMLSer<Settings>.fromXML("Data\\Settings.xml");
Settings.settings = settings;
settings.DBInfoList = new SortedList<string, DBInfo>();
foreach (DBInfo dbInfo in settings.Databases) {
settings.DBInfoList.Add(dbInfo.ID, dbInfo);
}
}