title.""; } } else { echo "File ".$file_name." not found"; } echo ""; echo "The above output is generated by the code below:"; highlight_file( __FILE__ ); ?>