private void Log(string s)
{
var now = DateTime.Now;
string currTime = now.Hour.ToString() + ':' +
now.Minute.ToString() + ':' +
now.Second.ToString() + ": ";
lock (RchtxtLog)
{
RchtxtLog.AppendText(currTime + s + Environment.NewLine);
RchtxtLog.SelectionStart = RchtxtLog.Text.Length;
RchtxtLog.ScrollToCaret();
}
}