';
}
else
{
echo " ';
}
/*
if(($page[3]))
{
echo '
";
echo '';
echo "";
echo_shadow($value[0]);
#echo($value[0]);
echo "\n";
echo "\n";
echo "
\n";
}
//echo '';
require "txt/".$page[1];
echo "
\n";
echo "\n";
if(($page[3])===1)
require "php/rmenu.inc.php";
else
require $page[3];
echo "
\n";
}*/