function print_checkbox_group_element($params)
{
    $element = new form_element_checkbox_group($params);
    echo $element->get_html();
}
function print_checkbox_group_element($grouplabel, $name, $options, $required = false, $info_text = null)
{
    $element = new form_element_checkbox_group($grouplabel, $name, $options, $required, $info_text);
    echo $element->get_html();
}