Function A000144