ked	

    checkbox.node.setAttribute("aria-checked", "true");
    checkbox.image_node.src= "images/checked.gif";

  }  // endif
  
 
} // end toggleCheckbox


/**
 * handleCheckboxModifyEvent processes keys associated with a checkbox
 *
 * @param ( event ) event is the event handler for the event
 * @param ( Checkbox object ) checkbox is the Checkbox object that is the target of the keyboard event
 *
 * @return false to stop event propagation if mouse event was used by checkbox, else true
 */

function hand