<!--
function trim(str) {
	var re = /\s/g;
	str = str.replace(re,"");
	return str;
}

function isNum(s) {
	var rg = /[^0-9]/,gi;
	var a = rg.test(s);
	return !a;
}

function isChar(s) {
	var rg = /[^A-Za-z]/,gi;
	var a = rg.test(s);
	return !a;
}

function Fill(s,v,r) {
	var n=v.length;
	if(r=="r") {
		s=s+""+v;
		return s.substr(0,n);
	}else{
		s+=v+""+s;
		return s.substr((s.length-n),n);
	}
}
//-->