Function A000578