var f: text;
a, m: longint;
kt: byte;
Begin
Assign(f, 'SONGUYEN.DAT'); reset(f);
Write('m = '); readln(m); kt:=0;
While not eof(f) do
Begin
While eoln(f) do readln(f);
Read(f, a);
If a=m then
Begin
kt:=1; break;
End;
End;
If kt=1 then write('co ', m, ' trong tep')
Else write('khong co ', m, ' trong tep');
Readln
End.