% ./highlight.pl