Function A000116