This works too:

textBlock.Text=(textBox.Text=="4 8 15 16 23 42")?"OK":"KO";