private void print(String s)
	{
		if (gui != null && gui.isShowing())
			gui.print(s);
		else
			System.out.print(s);
		if (output != null) {
			long time = System.currentTimeMillis() - startupTime;
			output.print(time + ": " + s);
			output.flush();
		}
	}