function display(form){
//  alert("display( js called...")
  form.next.value="";
  form.submit();
}

function doPrint(element, window1){
//  alert("new doPrint() js called...")
  document.getElementById(element.name).style.visibility="hidden";
  window1.print();
}

function dohref(loc){
  location.href=loc;
}
function dohref(loc,tar){

  location.href=loc;
  location.target=tar;
}