Function A000117