print "<pre>", `$DIFF ...`, "</pre>";