function apply_filter(name,type,minl,maxl,minn,maxn,init){
 var el = document.getElementById(name);
 switch(type){
  case "number":
   el.value = filter_number(el.value);
  break;
 }
}

function filter_number(num){
 num = addThsds(num);
 return num;
}

function addThsds(str1)
{
	char1 = ' ';
	des = ',';
	str1 += '';
	x = str1.split(des);
	x1 = x[0];
	x1=x1.replace(/\s+/g,'');
	x2 = x.length > 1 ? des + x[1] : '';
	var rgx = /(\d+)(\d{3})/;
	while (rgx.test(x1)) {
		x1 = x1.replace(rgx, '$1' + char1 + '$2');
	}
	return x1 + x2;
}