function sf3(pa, pb, pc) {
	document.getElementById("tv1").value = pa;
	document.getElementById("tv2").value = pb;
	document.getElementById("tv3").value = pc;
	document.getElementById("form1").submit();
}

function sleep(milliseconds) {
   var start = new Date().getTime();
   for (var i = 0; i < 1e7; i++) {
      if ((new Date().getTime() - start) > milliseconds) {
         break;
      }
   }
}

function popWin(url) {
   window.open(url, 'popWin');
}