jaja, como hace tiempo que dejé de usar el getElementById ya se me había olvidado...
Muchas gracias, funcionó perfecto
Código PHP:
for(i=1;i<=7;i++) {
campotemp = "p13_" + i;
if(!document.getElementById(campotemp).checked) frm.p13_8.checked = false;
}