function contains(target, query) {
	return (target.indexOf(query) != -1)
}

function left(str, ss) {
	if (!contains(str, ss)) {return str}
	var cp = str.indexOf(ss)
	if ((cp==0) || (str==ss)) {return ''}
	if (cp==1) {return str.charAt(0)} else {return str.substring(0, cp)}
}

function right(str, ss) {
	if (!contains(str, ss)) {return str}
	var cp = str.indexOf(ss)
	if ((cp==str.length-ss.length) || (str==ss)) {return ''}
	if (cp==str.length-ss.length) {return str.charAt(str.length-1)} else {return str.substring(cp+ss.length, str.length)}
}

function replace_substring(str, ss, newss) 
{
	var orig = str
	while (contains(orig, ss)) {
	orig = left(orig, ss) + newss + right(orig, ss) }
	return orig
}

function replace_LeftDecwZero(str)
{
	if (str.indexOf('.')==0) {return '0' + str} else {return str}
}

function IsNumeric(strString)
{
	var strValidChars = "0123456789.";
	var strChar;
	var inResult = true;

	if (strString.length == 0) return false;

	//  test strString consists of valid characters listed above
	for (i = 0; i < strString.length && inResult == true; i++)
	{
		strChar = strString.charAt(i);
		if (strValidChars.indexOf(strChar) == -1)
		{
				inResult = false;
		}
	}
	return inResult;
}