Function A000012