Function A000133