function deblur(pic) {
    if (document.all) pic.blur();
  }