prima - du weisst dir zu helfen :-)
aber dieses Array sieht ja komisch aus: ein Mix aus number und string ?
var benutzer_array=new Array(10,15,16,12,13,11,14,'');
das wäre meine Alternative gewesen:
function change_checkbox_col(btn,col_number){
btn.checked=!btn.checked;
var elem=btn.form.elements;
// Zeile für Zeile bzw. Benutzer für Benutzer durchgehen
for(var e=0;e<elem.length;e++) {
var tmp=elem[e].name.split("[");
// bsp: rechte_array[15][79]
if (tmp[0]== "rechte_array" ) {
if (tmp[2]==(""+col_number+"]")) elem[e].checked=btn.checked;
}
}
return true;
}