function checkMessageBoxes()
{
  $$('#messageList input').each(function(o){o.checked = $('mark').checked;}); 
}