"; for($c = 0; $c < $all_children; $c++) { $child = mysql_fetch_array($s); $sub_menu .= "
  • "; $sel = $page == $child['page_ID'] ? " sel" : ""; $sub_menu .= " " . html_entity_decode($child['page_title']) . ""; $sub_menu .= "
  • "; } $sub_menu .= "
    "; print $sub_menu; ?>