// better to be defensive
return new AnyURIValue(s);
case GENERATE_ID:
FastStringBuffer buffer = new FastStringBuffer(16);
node.generateId(buffer);
return new StringValue(buffer);
case DOCUMENT_URI:
// If the node is in the document pool, get the URI under which it is registered.
// Otherwise, return its systemId.