function captcha_refresh() {
      e=document.getElementById('captcha');
      dv=new Date();
      e.src="/captcha/captcha-image.php?dummy=" + dv.getTime();
      return false;
}
