function select_all2()
{
for (var i=0;i<document.form3.elements. length;i++)
{
var e =document. form3.elements[i];
if ((e.name != 'check_all') && (e.type=='checkbox'))
{
e.checked = document.form3.check_all. checked;
}
}
}