PHP converte nome do mês curto em número do mês [duplicado]

Possível duplicado:
converter mês do nome para o número

Eu tenho uma consulta simples (mas interessante) para todos.

Estou recebendo o nome do mês, em resumo, como janeiro, fevereiro etc. Agora, preciso convertê-lo para número do mês (ou seja, representação numérica de um mês),com zeros à esquerda

Exemplo: "Jan" a "01", "Dez" a "12" etc.

Alguém sabe, como conseguir isso,sem usar matriz

obrigado

questionAnswers(7)

yourAnswerToTheQuestion