var str
for(var i=0;i<document.form1.elements.length;i++)
    {
        if(document.form1.elements[i].checked==true)
        str += document.form1.elements[i].value+";";
    }

document.form1.permit.value = str;

document.form1.elements.length 是什么意思？

form1中所有元素(button,input,checkbox....)总数
document.form1.elements.length 的意思就是：所有表单元素的总数量