type = n; text = v;
return new StringBuffer("Header[").append(type).append(",").append(text).append("]").toString();