Scusami, un'altra cosa:
Per interfacciare il tutto con php ho ribattezzato il checkbox casella[].

Come cambierebbe quindi il seguente codice?

<script language="JavaScript">
<!--
function SelezionaTutti()
{
var cc = document.tutti.casella
if(cc.length){
for(var i=0;i<cc.length;i++){
cc[i].checked=true
}
}else cc.checked=true
}
//-->
</script>



Grazieeeeeeee