procedure Sieve;