'leading zeros'

Preciso obter os números de um campo de autonumeração com 5 dígitos para fazer a numeração de uns processos que seguem o formato 2005/00001. Eu já fazia isso no MSSQL mas agora tô migrando pra MySql. Alguma sugestão?

valeu!

PS:aqui vai o código que tava usando no MSSQL:

SELECT RIGHT('00000' + CAST(num_processos + 1 AS varChar), 5) AS num_procFROM nucleosWHERE (nucleo_id = '#session.nucleo_id#')