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