return new StringValue(proxy.doc.getFileName());
return new StringValue(proxy.getDocument().getFileName());
	public Sequence eval(Sequence[] args, Sequence contextSequence)		throws XPathException {		NodeValue node = (NodeValue)args[0].itemAt(0);		if(node.getImplementationType() == NodeValue.PERSISTENT_NODE) {			NodeProxy proxy = (NodeProxy)node;			return new StringValue(proxy.doc.getFileName());		}		return Sequence.EMPTY_SEQUENCE;	}