idHdr = bundle.GetStringFromName("pageInfo_SiteNotVerified"); 
function securityOnLoad() {  var bundle = srGetStrBundle("chrome://pippki/locale/pippki.properties");  var info = security._getSecurityInfo();  if (!info) {    document.getElementById("securityTab").setAttribute("hidden", true);    document.getElementById("securityBox").collapsed = true;    return;  }  var idHdr;  var message1;  var message2;  /* Set the identification messages */  if (info.cert) {    idHdr = bundle.GetStringFromName("pageInfo_WebSiteVerified");    message1 = bundle.formatStringFromName("pageInfo_Identity_Verified",                            [ info.hostName, info.cAName ],                            2);    setText("security-identity-text", message1);    var viewText = bundle.GetStringFromName("pageInfo_ViewCertificate");    setText("security-view-text", viewText);    security._cert = info.cert;  }  else {    idHdr = bundle.GetStringFromName("pageInfo_SiteNotVerified");    var viewCert = document.getElementById("security-view-cert");    viewCert.collapsed = true;  }  setText("general-security-identity", idHdr);  setText("security-identity", idHdr);  var hdr;  var msg1;  var msg2;  /* Set the encryption messages */  if (info.isBroken) {    hdr = bundle.GetStringFromName("pageInfo_MixedContent");    msg1 = bundle.GetStringFromName("pageInfo_Privacy_Mixed1");    msg2 = bundle.GetStringFromName("pageInfo_Privacy_None2");  }  else if (info.encryptionStrength >= 90) {    hdr = bundle.formatStringFromName("pageInfo_StrongEncryption",                          [ info.encryptionAlgorithm, info.encryptionStrength + "" ], 2);    msg1 = bundle.GetStringFromName("pageInfo_Privacy_Strong1");    msg2 = bundle.GetStringFromName("pageInfo_Privacy_Strong2");    security._cert = info.cert;  }  else if (info.encryptionStrength > 0) {    hdr  = bundle.formatStringFromName("pageInfo_WeakEncryption",                          [ info.encryptionAlgorithm, info.encryptionStrength + "" ], 2);    msg1 = bundle.formatStringFromName("pageInfo_Privacy_Weak1", [ info.hostName ], 1);    msg2 = bundle.GetStringFromName("pageInfo_Privacy_Weak2");  }  else {    hdr = bundle.GetStringFromName("pageInfo_NoEncryption");    if (info.hostName != null)      msg1 = bundle.formatStringFromName("pageInfo_Privacy_None1", [ info.hostName ], 1);    else      msg1 = bundle.GetStringFromName("pageInfo_Privacy_None3");    msg2 = bundle.GetStringFromName("pageInfo_Privacy_None2");  }  setText("general-security-privacy", hdr);  setText("security-privacy", hdr);  setText("security-privacy-msg1", msg1);  setText("security-privacy-msg2", msg2);}
5459	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5459/d95a02620d31aec9607e12026e4a991d8a6addf9/security.js/buggy/browser/base/content/pageinfo/security.js