function txt2num(x)
{
	var str = "", s = "";
	for(i=0; i<x.length;i++)
	{
		s = x.substr(i,1);
		if(s>='0' && s<='9')
			str += s;
	}	
	return str;	 
}
function txt2val(x)
{
	var str = "", s = "";
	var bp = true;
	for(i=0; i<x.length;i++)
	{
		s = x.substr(i,1);
		
		if(s>='0' && s<='9')
			str += s;
			
		if(bp && (s=='.' || s==','))
		{
			str += '.';
			bp = false;
		}	
	}	
	return str;	 
}
function getnum(x)
{
var	s = txt2val(document.getElementById(x).value);
document.getElementById(x).value = s;
}