public String convert(HashMap<String, Integer> dv) {
        String result = "" + from.getId();
        for (String name : dv.keySet()) {
            result += " " + name + ":" + dv.get(name);
        }
        return result + "\n";
    }