Function A000177