button.setAttribute("accesskey", document.documentElement.getAttribute("creditsaccesskey")); 
function init(aEvent) {  if (aEvent.target != document)    return;  var userAgentField = document.getElementById("userAgent");  userAgentField.value = navigator.userAgent;  var button = document.documentElement.getButton("extra2");  button.setAttribute("label", document.documentElement.getAttribute("creditslabel"));  button.addEventListener("command", switchPage, false);  document.documentElement.getButton("accept").focus();#ifdef XP_MACOSX  // it may not be sized at this point, and we need its width to calculate its position  window.sizeToContent();  window.moveTo((screen.availWidth / 2) - (window.outerWidth / 2), screen.availHeight / 5);#endif}
5459	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5459/b237f353c8611c0b0555c1627426cbc0e3fb76be/aboutDialog.js/buggy/browser/base/content/aboutDialog.js