Function A000217