id\">".course_format_name($course,60)."\n"; } ?>

\n"; foreach ($searchcourses as $course) { echo "id\">".course_format_name($course,60)."\n"; } echo "\n"; } if (!empty($courses)) { if ($numcourses > MAX_COURSES_PER_PAGE) { echo ''."\n" .''."\n"; } else { foreach ($courses as $course) { echo "id\">".course_format_name($course,60)."\n"; } } } ?> '."\n"; } ?>