Function A000013