<!--
///////////////////////////////////////////////////////////////////////////////////////////////////////////////////////

	function check_numeric(mystring)
	{
		var checkOK = "0123456789";
		var result = true;
		for (i = 0;  i < mystring.length;  i++)
		{
			ch = mystring.charAt(i);
			for (j = 0;  j < checkOK.length;  j++)
				if (ch == checkOK.charAt(j))
				break;
			if (j == checkOK.length)
			{
				return false;
				break;
			}
		}

		return result;

	} // function check_numeric(mystring)

///////////////////////////////////////////////////////////////////////////////////////////////////////////////////////
//-->