bibo:numPages in NS.java