var level = "unknown"; 
security.removeAttribute("label"); 
  onSecurityChange: function(aWebProgress, aRequest, aState) {    var security = document.getElementById("security");    var level = "unknown";    switch (aState) {      case Ci.nsIWebProgressListener.STATE_IS_SECURE | Ci.nsIWebProgressListener.STATE_SECURE_HIGH:        security.setAttribute("level", "high");        break;      case Ci.nsIWebProgressListener.STATE_IS_SECURE | Ci.nsIWebProgressListener.STATE_SECURE_MEDIUM:        security.setAttribute("level", "med");        break;      case Ci.nsIWebProgressListener.STATE_IS_SECURE | Ci.nsIWebProgressListener.STATE_SECURE_LOW:        security.setAttribute("level", "low");        break;      case Ci.nsIWebProgressListener.STATE_IS_BROKEN:        security.setAttribute("level", "broken");        break;      case Ci.nsIWebProgressListener.STATE_IS_INSECURE:      default:        security.removeAttribute("level");        break;    }  }
705	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/705/4945c5659dfec900824cefcb857d107e8e693657/webrunner.js/clean/app/chrome/content/webrunner.js