Function A000234