function clip_copy1() {
if (document.all && navigator.userAgent.match(/windows/i) && document.tag.area1.value) {
      copy_tag = document.tag.area1.createTextRange()
      copy_tag.execCommand("Copy")
      alert("その1 文字サイズ1のタグをコピーしました! あとは貼り付けるだけです。");
     }
   }