function trim(str){
	var searchStr=" ";
	var replaceStr="";
	var re= new RegExp(searchStr,"g");
	return str.replace(re,replaceStr);
}
function is_int(value){
	if(trim(value).length==0) return true;
	if ((parseInt(value)!=trim(value)))	return false;
	if(parseInt(value)<0) return false;
	return true;
}