'.$_SESSION['info_Marking'].'
';
  $_SESSION['info_Marking']=null;
}
$resultx1 = mysqli_query($con,"Select Count(*) as cnt from lab_report_submissions where lab_report_submissions.Lab_Report_ID=$id");
     while($row = mysqli_fetch_assoc($resultx1)) {$count_subs=$row['cnt'];}    
                                     
            $resultx2 = mysqli_query($con,"Select COUNT(*) as cnt from lab_report_submissions where lab_report_submissions.Lab_Report_ID=$id and Status='Marked'");
     if(mysqli_num_rows($resultx2)==0){$count_marked=0;} else { while($row = mysqli_fetch_assoc($resultx2)) {$count_marked =$row['cnt'];}}     
          
                 $resultx3 = mysqli_query($con,"Select COUNT(*) as cnt from lab_report_submissions where lab_report_submissions.Lab_Report_ID=$id and Status='Pending'");
     if(mysqli_num_rows($resultx3)==0){$count_unmarked=0;} else { while($row = mysqli_fetch_assoc($resultx3)) {$count_unmarked =$row['cnt'];}} 
 $resultx4 = mysqli_query($con,"Select COUNT(*) as cnt from lab_report_submissions where lab_report_submissions.Lab_Report_ID=$id and Status='Remarking'");
     if(mysqli_num_rows($resultx4)==0){$count_remark=0;} else { while($row = mysqli_fetch_assoc($resultx4)) {$count_remark =$row['cnt'];}} 
 
?>
   
    
Lab Report Submissions ()
    
   
      
    
    
       
          
          
          
          
          
          
                 
          
          
          
          
          
          
          
                ";
                        
                        $rs2=mysqli_query($con,"SELECT `ID`, `Course_Group_id`, course_group_members_table.Student_ID, 
                            course_group_members_table.`Status`,users_table.Full_Name FROM `course_group_members_table` 
INNER JOIN users_table on users_table.Student_ID=course_group_members_table.Student_ID
where course_group_members_table.Course_Group_id=$id");
                        
                        while($row = mysqli_fetch_assoc($rs2)) {
			$name=$row['Full_Name'];
                        $id=$row['Course_Group_id'];
                        $status=$row['Status'];
                         $Student_ID=$row['Student_ID'];
                        
                        
                          echo "
 $name-$Student_ID ($status)";
                        
                        }
                        
                        
                        
                        
                        
                        
                        
    }
        }
                        ?>