0)
    {
        if ($items[$this_id]["is_link"]==1)
        {
            $html.= "- {$items[$this_id]["title"]}
";
        } else
        {
            $html.= "
{$items[$this_id]["title"]}
";
        }
    }

    # print everything in menu, or all the child links
    if (isset($itemchildren[$this_id]))
    {
        foreach ($itemchildren[$this_id] as $child_id)
        {
            $html.= build_menu($items, $itemchildren, $child_id);
        }
    }

    # print the end of the menu, or the end of a link's CSS padding bit
    if ($this_id>0)
    {
        if ($items[$this_id]["is_link"]==1)
        {
            $html.= "
";
        } else
        {
            $html.= "

";
        }
    }

    return $html;
}