private static void writeXDRString(DataOutputStream dos, String s) throws IOException {
			dos.writeInt(s.length());
			dos.writeBytes(s);
			int offset = s.length() % 4;
			if (offset != 0) {
				for (int i = offset; i < 4; ++i) {
					dos.writeByte(0);
				}
			}
		}