'.$_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)";
                        
                }
                        
                        
                        
                        
                        
                        
                        
            }
        }
        ?>