function sfhiv_draw_menu($posts = array(), $args = array())
{
    $ids = array();
    foreach ($posts as $post) {
        array_push($ids, $post->ID);
    }
    sfhiv_draw_page_navigation($ids, array_merge(array("show_children" => false, "show_siblings" => false, "show_parents" => false), $args));
}
function sfhiv_add_page_navigation()
{
    if (is_page()) {
        sfhiv_draw_page_navigation(get_the_ID());
    }
}
function sfhiv_add_document_navigation()
{
    if (is_singular('sfhiv_document')) {
        sfhiv_draw_page_navigation(array(get_the_ID()));
    }
}
function sfhiv_add_report_navigation()
{
    if (is_singular('sfhiv_report')) {
        sfhiv_draw_page_navigation(get_the_ID());
    }
}