public void addstring2(String str) {
	byte[] buf;
	try {
	    buf = str.getBytes("utf-8");
	} catch(java.io.UnsupportedEncodingException e) {
	    throw(new RuntimeException(e));
	}
	addbytes(buf);
    }