Function A000171