$help
";
}
$contents .= menu_execute_active_handler();
print theme("box", $title, $contents);
print theme("footer");
}
else {
$mod = arg(0);
if (isset($mod) && module_hook($mod, "page")) {
module_invoke($mod, "page");
}
else {
print theme("header");
print theme("footer");
}
}
drupal_page_footer();
?>