private final void writeIdent() throws IOException {
			int n = ident;
			while (n > 0) {
				if (n > OFF.length) {
					w.write(OFF);
					n -= OFF.length;
				} else {
					w.write(OFF, 0, n);
					n = 0;
				}
			}
		}