<?
header("Location: doku.php");
?>