<?

highlight_file($_SERVER["SCRIPT_FILENAME"]);

?>