trim string(s)


  // Dress Input formatting i.e leading & trailing spaces and tail punctuation
          
          var ht = 0;                                                                                                // head tail stearing
          
          function strTrim(strng){
                  if(ht == 0){ loc = 0; }                                                                        // head clip
                  else { loc = strng.length - 1; }                                                // tail clip  ht = 1 
                  if( strng.charAt( loc ) == " "){
                          aString = strng.substring( - ( ht - 1 ), strng.length - ht);
                          aString = strTrim(aString);
                  } else { 
                          var flg = false;
                          for(i=0; i<=5; i++ ){ flg = flg || ( strng.charAt( loc ) == punct[i]); }
                          if(flg){        
                                  aString = strng.substring( - ( ht - 1 ), strng.length - ht );
                          } else { aString = strng; }
                          if(aString != strng ){ strTrim(aString); }
                  }
                  if( ht ==0 ){ ht = 1; strTrim(aString); } 
                  else { ht = 0; }                
                  return aString;
          }