'; */ ?>

'.get_string('allstudents', 'message').'    '.$cs.';