Function A000888