// JavaScript Document
function filltx(target,tx)
{
  document.getElementById(target).value=tx;
}