Function A000187