Function A000253