Let lnx denote the logarithm of x with respect to the base e. Let S⊂R be the set of all points where the function ln(x2–1) is well-defined. Then the number of functions f:S→R that are differentiable, satisfy f′(x)=ln(x2–1) for all x∈S and f(2)=0, is