<?
header
('Content-Type: text/html; charset=utf-8');
$fil $_GET['fil'];
highlight_file($fil);
?>