Function A000015