rem:  var ok=document.getElementById('ok-button'); 
context: function checkPasswords(){  var pw1=document.getElementById('pw1').value;  var pw2=document.getElementById('pw2').value;  var ok=document.getElementById('ok-button');  var oldpwbox = document.getElementById("oldpw");  if (oldpwbox) {    var initpw = oldpwbox.getAttribute("inited");    if (initpw == "empty" && pw1 == "") {      // The token has already been initialized, therefore this dialog      // was called with the intention to change the password.      // The token currently uses an empty password.      // We will not allow changing the password from empty to empty.      ok.setAttribute("disabled","true");      return;    }  }  if (pw1 == pw2){    ok.setAttribute("disabled","false");  } else  {    ok.setAttribute("disabled","true");  }}
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/5936aeb292ee5ffa0db2ed904fb351b438822196/password.js/buggy/security/manager/pki/resources/content/password.js