Function A000251