Function A000127