function f1(form){
  form.code1.value = form.code1.value.replace(/\?id=[\d\w]*/g , '?id='+form.ref_id.value);
}


function HighlightAll(theField) {
  theField.disabled=false
  theField.focus()
  theField.select()
  if (document.all) {
    therange=theField.createTextRange()
    therange.execCommand("Copy")
    window.status="Content highlighted and copied to clipboard!"
    setTimeout("window.status=''",2400);
  }
  else {
    alert("Sorry only IE supported");
  }
}