$page_value)
{
if (is_array($page_value))
{
if (isset($_pages[$page_key]))
{
echo _AT($_pages[$page_key]['guide'])."
";
print_handbook($page_value);
}
}
else if (isset($_pages[$page_value]))
{
echo _AT($_pages[$page_value]['guide'])."
";
}
}
}
?>
<?php echo _AT('doc_title'); ?>