public String toString() { int tmp; String result; while ( (tmp=peek()) != null) result+=","+tmp; return result; }