function createmonth (monthint)
	{
		var monthstr;
		if(monthint == 0) monthstr= "January";
		if(monthint == 1) monthstr= "February";
		if(monthint == 2) monthstr= "March";
		if(monthint == 3) monthstr= "April";
		if(monthint == 4) monthstr= "May";
		if(monthint == 5) monthstr= "June";
		if(monthint == 6) monthstr= "July";
		if(monthint == 7) monthstr= "August";
		if(monthint == 8) monthstr= "September";
		if(monthint == 9) monthstr= "October";
		if(monthint == 10) monthstr= "November";
		if(monthint == 11) monthstr= "December";
		return monthstr;
	}

function isIntegerInRange (s, a, b)
   {   if (isEmpty(s)) 
         if (isIntegerInRange.arguments.length == 1) return false;
         else return (isIntegerInRange.arguments[1] == true);

          if (!isInteger(s, false)) return false;
      var num = parseInt (s,10); 
      return ((num >= a) && (num <= b));
   }

function isInteger (s)
   {
      var i;

      if (isEmpty(s))
      if (isInteger.arguments.length == 1) return 0;
      else return (isInteger.arguments[1] == true);

      for (i = 0; i < s.length; i++)
      {
         var c = s.charAt(i);

         if (!isDigit(c)) return false;
      }

      return true;
   }

function isEmpty(s)
   {
      return ((s == null) || (s.length == 0))
   }

function isDigit (c)
   {
      return ((c >= "0") && (c <= "9"))
   }