public void flush() throws IOException {drain();output.flush();}

public void flush ( ) throws IOException { drain ( ) ; output . flush ( ) ; }
public override void flush(){throw new System.NotImplementedException();}
