using System;
using System.Linq;
public class Program
{
public static void Main()
var taxDistrict = "|".Split('|');
int taxDistrictNum;
string myResult;
myResult = int.TryParse(taxDistrict[0], out taxDistrictNum) ? String.Format("{0:0000}", taxDistrictNum) : "9999";
Console.WriteLine(myResult);
}