Formatação de números com zeros à esquerda em PHP

Olá a todos! Sou novo em PHP e me deparei com uma tarefa aparentemente simples, mas não consigo encontrar a solução correta. Preciso exibir IDs de pedidos em um formato onde o número sempre ocupe, digamos, 5 dígitos. Se o ID for 1, ele deve aparecer como "00001". Se o ID for 123, como "00123". Ou seja, zeros são adicionados à esquerda até atingir o comprimento desejado. Tentei usar simples concatenação de strings, por exemplo: `$order_id = '00000' . $id;`, mas isso não funciona quando o número já tem vários dígitos. O resultado é "00000123", mas eu quero "00123". Tentei pesquisar na documentação, mas há muitas funções e fiquei confuso. Aqui está um exemplo do meu código que não dá o resultado esperado: ```php ``` Por favor, me digam como adicionar zeros à esquerda a um número em PHP corretamente? E existe uma maneira universal que funcione para números de diferentes comprimentos? Desde já agradeço pela ajuda!