';

echo highlight_file($src);