rem: element.checked = isHidden; 
add: element.setAttribute("checked", isHidden ? "true" : "false"); 
context: function goToggleToolbar( id, elementID ){  var toolbar = document.getElementById(id);  var element = document.getElementById(elementID);  if (toolbar)  {    var isHidden = toolbar.hidden;    toolbar.hidden = !isHidden;    document.persist(id, 'hidden');    if (element) {      element.checked = isHidden;      document.persist(elementID, 'checked');    }  }}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/3992a613bf21b15d5c4d19296cff2194d19e10cb/utilityOverlay.js/clean/browser/base/content/utilityOverlay.js