Function A000017