while ( <> > 0) ...