function removeHTMLtags(b){var a=b;a=a.replace(/&(lt|gt);/g,function(c,d){return(d=="lt")?"<":">"});strTagStrippedText=a.replace(/<\/?[^>]+(>|$)/g,"");return(strTagStrippedText)}function trim(c){var a,b;c=c.replace(/^\s\s*/,""),a=/\s/,b=c.length;while(a.test(c.charAt(--b))){}return c.slice(0,b+1)}function aleatorio(a,c){var b=c-a;aleat=Math.random()*b;aleat=Math.round(aleat);return(parseInt(a)+aleat)};