Function A000071