Ho un problema con la gestione di un gruppo di CHECKBOX con PHP.

Voglio che all'evento submit mi stampi i valori delle checkbox che ho flaggato e che i checkbox selezionati rimangano fleggati.

Quello che invece ottengo dal codice postato di seguito è la sola stampa dei valori delle checkbox fleggate, mentre non riesco a gestire il fatto che quelle selezionate rimangano tali. Al momento del submit si resettano! Come posso fare?

Codice PHP:
<?php

    require('include/xl_functions001.php');
    
    global $mysqlconn;
    $mysqlconn = xl_mysql_connect();
    
    $query = "SELECT DISTINCT documento FROM gruppi";
    $result = mysql_query($query);
    
    while ($row = mysql_fetch_assoc($result))
    {
        $doc=$row['documento'];
        $check="";
        if (isset($_POST[$doc]))
        {
            echo $_POST[$doc]." ";
            $check = "checked";
        }
        else
            $check = "";
    }
?>
<html>
<body>
    <form action="prova.php" method="post" onsubmit="prova.php">
        <legend>Documenti</legend>
        <?php
            $query = "SELECT DISTINCT documento FROM gruppi";
            $result = mysql_query($query);
            while ($row = mysql_fetch_assoc($result))
            {
                $doc = $row['documento'];
        ?>
        
        <input type="checkbox" name=<?php print("\"".$doc."\"");?> value=<?php print("\"".$doc."\"");?> text=<?php print("\"".$doc."\" "); print($check);?>>
        <?php
                print($doc);
            }
        ?>
        <input type="submit" value="Vai">
    </form>
</body>
</html>
Grazie