public static string GetMapLabel(int id) { return String.Format("{0:d4}: {1}", id, Project.Data.MapInfos[id].name); }