<?
show_source("php_dok1.php");
?>