+ if( $db->query("SELECT COUNT(*) FROM workdone WHERE mnumber=" . $student['mnumber'])->fetch(PDO::FETCH_NUM)[0] > 0 ) {
+ $exdone = $db->query("SELECT manydone FROM workdone WHERE mnumber=" . $student['mnumber']);
+ while ( $subdone = $exdone->fetch(PDO::FETCH_NUM) ) { $totexdone += $subdone[0]; }
+ }