query("SELECT COUNT(*) FROM workdone WHERE mnumber = $mnumber AND session = $sessionid")->fetch(PDO::FETCH_NUM)[0] == 1) {
      $db->query("DELETE FROM workdone WHERE mnumber = $mnumber AND session = $sessionid");
      print '
';
        print '| deleted old submission | 
|---|
';
      print '
';
    }
    $excount = count($exchecked);
    $donestring = implode(',', $exchecked);
    $db->query("INSERT INTO workdone (mnumber,session,manydone,thisdone) 
        VALUES (\"$mnumber\", \"$sessionid\", \"$excount\", \"$donestring\")");
    print '';
      print '| submitted | 
|---|
';
    print '
';
    exit;
  }
?>