Function A000085