public void write(DataOutput out) throws IOException { input.write(out); Text.writeString(out, output); }