public void update()
 {
     resultText.Text = m_Model.GetRandomValue().ToString();
 }