Function A000225