Function A000143