<?
function aut($title=NULL)
{
global $set;
if ($set['web'] == false)
{
if ($title == NULL)
$title = $set['title'];
echo '';
if ($_SERVER['PHP_SELF'] != '/index.php')
{
}
echo '';
}
}
?>