Function A000157