";
include("./sources/menu$fileadd.php");
echo "
";
if (!isset($page)) {$page="dots";}
switch ($page) {
case "dots":
$file=setfile("dots");
break;
default:
if (file_exists($page)) {
$file=setfile("$page/CR");
} else {
$file=setfile("dots");
}
break;
}
include($file);
include("./sources/pied$fileadd.php");
echo "