public String toString() {
   return s.toString();
 }