Function A000134