function updateType(txt)
{
  if (txt.length == 0)
  {
    document.lf.type.disabled = false;
    return;
  }
  for (i=0; i<txt.length; i++)
  {
    if (txt.charAt(i) != '.' && (txt.charAt(i) < '0' || txt.charAt(i) > '9'))
    {
      document.lf.type.disabled = false;
      return;
    }
  }

  document.lf.type.disabled = true;
}