//pass over the "tree rep.6878900 = "
while (((c = filehandle.get()) != '(') && ((c = filehandle.peek()) != EOF)) {;}
if(c == EOF) { break; }
filehandle.putback(c); //put back first ( of tree.
//pass over the "tree rep.6878900 = "
while (((c = filehandle.get()) != '(') && ((c = filehandle.peek()) != EOF)) {;}
if(c == EOF) { break; }
filehandle.putback(c); //put back first ( of tree.