Function A000233