Falls jemand noch was besseres einfällt => bitte posten!
OK, die Performance bei 999999 läßt zu wünschen übrig.
Daher per PHP vorher die einzelnen Benutzer-IDs zusammensammeln:
<script type="text/javascript">
function change_checkbox_col(btn,frm,col_number)
{
// WIRD durch PHP vorausgefüllt: $benutzerarray.=$id.',';
// Letztes Element wird ('') dient nur der vereinfachten Array-Komplettierung
var benutzer_array=new Array(10,15,16,12,13,11,14,'');
// Zeile für Zeile bzw. Benutzer für Benutzer durchgehen
for(var i=0;i < benutzer_array.length;i++)
{
if(document.form1["rechte_array["+benutzer_array[i]+"]["+col_number+"]"])document.form1["rechte_array["+benutzer_array[i]+"]["+col_number+"]"].checked=btn.checked;
}
}
</script>
So denn, schönnen Tag noch!