function de_select_all( list, state ) {
  for (i = 0; i < list.length; i++)
    list[i].checked = state ;                
}