'.$f.'
'; } echo '
';

echo highlight_file($src);