Function A000223