# ==============================
# subroutine get_month_as_string
# ==============================

# Returns the month as string (Jan, Feb, ...) from of a month number such 1, 2, ...

subroutine(get_month_as_string(int n), (

	string m;
	
	if (n == 1) then (m = "Jan";)
	else if (n == 2) then (m = "Feb";)
	else if (n == 3) then (m = "Mar";)
	else if (n == 4) then (m = "Apr";)
	else if (n == 5) then (m = "May";)
	else if (n == 6) then (m = "Jun";)
	else if (n == 7) then (m = "Jul";)
	else if (n == 8) then (m = "Aug";)
	else if (n == 9) then (m = "Sep";)
	else if (n == 10) then (m = "Oct";)
	else if (n == 11) then (m = "Nov";)
	else (m = "Dec";);

	m;
));