Function A000072