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