Function A000025