<!--
function trim(some){
////////////////////////////////////////////////////////////////
// Accepts a string, and returns the same string without the
// spaces at beginning and the end, if it has some
////////////////////////////////////////////////////////////////
// Pablo Gonzalez, I-2000.
////////////////////////////////////////////////////////////////

  var ind1, ind2;
  if(some != ''){
    lon = some.length;
    while(some.charAt(0) == ' ' ||  some.charAt(lon-1) == ' '){
       if(some==' '){
         some='';
       }else{
         ind1 = 0; ind2 = lon
         if(some.charAt(0) == ' '){
           ind1=1
         }
         if(some.charAt(lon-1) == ' '){
           ind2=lon-1
         }
         if(ind1==ind2){
           some=''
         }else{
           some = some.substring(ind1,ind2)
         }
         lon = some.length;
      }
    }
  }
  return some
}
// -->