public String toString() {
	    StringBuilder buf = new StringBuilder();
	    for(int i = 0; i < prt.length; i++) {
		if(i > 0)
		    buf.append(", ");
		buf.append(nm[i] + ": " + prt[i]);
	    }
	    buf.append(", total: " + total);
	    return(buf.toString());
	}