function ltrim(str){

	var s = new String(str)	
	var i = 0;	
	while(s.charAt(i)==' '){
		i++;
	}	
	return s.substring(i)

}


function rtrim(str){

	var s = new String(str)
	var l = s.length;
	l--
	while(s.charAt(l)==' '){
		l--;
	}
	return s.substring(0, l+1)	
}


function trim(str){	

	return ltrim(rtrim(str))	

}

function paginado(href)
{
	document.getElementById('paginado_form').action = href;
	document.getElementById('paginado_form').submit();
	return false;
}