Converting integet into month name

[php]
function monthName($month_int) {

$month_int = (int)$month_int;

$timestamp = mktime(0, 0, 0, $month_int, 1);

return date("F", $timestamp);

}
[/php]

[php]
function js_monthName(month_int) {

var monthname = new

Array("", "January", "February", "March", "April", "May","June", "July", "August", "September", "October", "November", "December");

document.write(monthname[month_int]);

}
[/php]