Function A000142