function GetMonthString(mon)
{
    switch(mon)
	{
	    case 0: return "JAN"; break;
	    case 1: return "FEB"; break;
	    case 2: return "MAR"; break;
	    case 3: return "APR"; break;
	    case 4: return "MAY"; break;
	    case 5: return "JUN"; break;
	    case 6: return "JUL"; break;
	    case 7: return "AUG"; break;
	    case 8: return "SEP"; break;
	    case 9: return "OCT"; break;
	    case 10: return "NOV"; break;
	    case 11: return "DEC"; 
	}
}


function GetMonthNumber(mon)
{
    if(mon.toUpperCase()=="JAN")
        return 0;
    if(mon.toUpperCase()=="FEB")
        return 1;
    if(mon.toUpperCase()=="MAR")
        return 2;
    if(mon.toUpperCase()=="APR")
        return 3;
    if(mon.toUpperCase()=="MAY")
        return 4;                        
    if(mon.toUpperCase()=="JUN")
        return 5;
    if(mon.toUpperCase()=="JUL")
        return 6;
    if(mon.toUpperCase()=="AUG")
        return 7;                        
    if(mon.toUpperCase()=="SEP")
        return 8;
    if(mon.toUpperCase()=="OCT")
        return 0;
    if(mon.toUpperCase()=="NOV")
        return 10;
    if(mon.toUpperCase()=="DEC")
        return 11;                                         
}


function getDaysInMonth(year, month) 
{
    return [31,((!(year % 4 ) && ( (year % 100 ) || !( year % 400 ) ))?29:28),31,30,31,30,31,31,30,31,30,31][month];
}