<?php $fileinfo = "alpen.php created 05 Apr 06 17:04:44 by krauss Time-stamp: <2015-01-29 13:58:15 thk>";
$LastChangeTime = $fileinfo;
$LastChangeTime = preg_replace("/^[^<]+<([0-9-]+ [0-9:]+).*$/i","\1",$LastChangeTime);
$Creator = "Thomas Krauß";
$Titel = ""; include("header.php");
?>
<blockquote>
<?php include("footer.php"); ?>