posFile = new PrintStream(filename);