public pin_box()
{
InitializeComponent();
this.Unloaded += new RoutedEventHandler(pin_box_Unloaded);
digit1.GotFocus += new RoutedEventHandler(digit1_GotFocus);
//digit1.TextChanged += new TextChangedEventHandler(digit1_TextChanged);
//digit2.TextChanged += new TextChangedEventHandler(digit2_TextChanged);
//digit3.TextChanged += new TextChangedEventHandler(digit3_TextChanged);
//digit4.TextChanged += new TextChangedEventHandler(digit4_TextChanged);
}