var
  t: text;