'; */ ?>

heading(get_string('searchforperson', 'message')) ?>
heading(get_string('searchmessages', 'message')) ?>
'.get_string('allstudents', 'message').'    '.$cs.';