rem: gSelectedPage = 0; 
context: 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"));  gSelectedPage = 0;  button.addEventListener("command", switchPage, false);  document.documentElement.getButton("accept").focus();}
meta: 5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5872/77a9a48e6b8105e1d265794d019b870c6e3de42f/aboutDialog.js/buggy/browser/base/content/aboutDialog.js