salir de un while si se cumple condicion ???

[chelejuan]

Buenas tengo esto :

while not EOF(f1) do
begin
Readln(f1, ch1);
a:= ch1;
a:=Copy(a,86,93);
a:= copy(a,1,8);

if codigofactura = a then
begin
existeenfichero := 1;

end;

end;

Si se cumple que codigo factura = a entonces deberia salirse del bucle ya que he comprobado lo que necesitaba. ¿Como podria hacer eso?.