Function A000188