public static string ConvertIndustryId(IndustryId _industry_id) { return ((int)_industry_id).ToString("0000"); } }