public final static void utfwrite(byte[] data, int len, String s) {
public final static void utfwrite( byte[] data, int len, FastStringBuffer s) {
	public final static void utfwrite(byte[] data, int len, String s) {		final int slen = s.length();		for (int i = 0; i < slen; i++) {			final int code = (int) s.charAt(i);			if (code >= 0x01 && code <= 0x7F)				data[len++] = (byte) code;			else if (((code >= 0x80) && (code <= 0x7FF)) || code == 0) {				data[len++] = (byte) (0xC0 | (code >> 6));				data[len++] = (byte) (0x80 | (code & 0x3F));			} else {				data[len++] = (byte) (0xE0 | (code >>> 12));				data[len++] = (byte) (0x80 | ((code >> 6) & 0x3F));				data[len++] = (byte) (0x80 | (code & 0x3F));			}		}	}