Function A000132