Function A000131