// JavaScript Document

monthArray = new Array();

// month-number -> month name
monthArray[1] = "January";
monthArray[2] = "February";
monthArray[3] = "March";
monthArray[4] = "April";
monthArray[5] = "May";
monthArray[6] = "June";
monthArray[7] = "July";
monthArray[8] = "August";
monthArray[9] = "September";
monthArray[10] = "October";
monthArray[11] = "November";
monthArray[12] = "December";

// month name -> month number
monthArray["January"] = 1;
monthArray["February"] = 2;
monthArray["March"] = 3;
monthArray["April"] = 4;
monthArray["May"] = 5;
monthArray["June"] = 6;
monthArray["July"] = 7;
monthArray["August"] = 8;
monthArray["September"] = 9;
monthArray["October"] = 10;
monthArray["November"] = 11;
monthArray["December"] = 12;

function writeMonthName(monthNumber){
	//if((monthNumber>=1)&&(monthNumber<=12)){
	 document.write(monthArray[monthNumber]);
}

function writeShortMonthName(monthNumber){
	document.write(monthArray[monthNumber].substr(0,2));
}