Salve a tutti!

Esiste una funzione per inserire N zeri prima di un numero?

Es. 1 ---> 00001
Es. 543 ---> 00543

Mi pare ci fosse una funzione propria di php... ma non mi ricordo quale sia