Salve a tutti! Sono nuovo del forum.....ed anche di php !

Se volessi trasformare un integer, come ad esempio $a=1, in una stringa tipo $a="001" come posso fare?