*/ header("Location: doku.php");