echo "

show_source :

highlight_file :

";

show_source

"; $show = show_source($s); } if(empty($_POST['high'])) { } else { $h = $_POST['high']; echo "

highlight_file

"; echo "
"; $high = highlight_file($h); } ?>