private void writeZeroPaddedLong(long val, int len) throws IOException {
        String str = Long.toString(val);
        if (str.length() > len)
            str = str.substring(str.length() - len);
        int padding = len - str.length();
        for(int i = 0; i < padding; i++)
            output.write('0');
        writeByteString(str);
    }