String to Number

My addition to this question / answer is..
What about leading zeros??

Hi all,

I am trying to figure out a way to get month number from a month string. For example:

\'June\' => 6
\'August\' => 8
\'December\' => 12

Anyone knows a simple way to do this?
Thx,
nenad

build up an array

$months = array(1 => \"Jan\",\"Feb\",\"Mar\",....);

then you can just do

print $months[$mymonth];

if $mymonth was \'3\', it would return \'Mar\'

hth

cast the number to integer before the print $months[$mymonth];:

$mymonth = (int) $mymonth;