Function A000093