public String toString() {
   return id.toString();
 }
 public String details() {
   return "<~" + id.toString() + "~>";
 }