/* remove preceeding zeros */
function stripzeros(num)
{
    var i;
	for(i=0;i< num.length;i++)
	if(num.charAt(i) != '0')
		return num.substr(i);
	return num;
}
function isDigit(c)
{
	return ((c >= "0") && (c <= "9"))
}
function isWholeInt(num)
{
	if(num == "" || num == null || isNaN(num))
		return false;
	var n = num+"";
	var i;
	for(i = 0;i < n.length;i++)
		if(!isDigit(n.charAt(i)))
			return false;
	return true;
}
function isFloat(num)
{
	if(num == "" || num == null || isNaN(num))
		return false;
	var n = num+"";
	var c,i;
	var dot = false;
	for(i = 0;i < n.length;i++)
	{
		c = n.charAt(i);
		if(!isDigit(c) && c != ".")
			return false;
		if(c == "." && dot)
			return false;
		if(c == ".")
			dot = true;
	}
	return true;
}