Function A000112