function TrimString(a){while((a.length>0)&&(a.charAt(0)==" ")){a=a.substring(1)}while((a.length>0)&&(a.charAt(a.length-1)==" ")){a=a.substring(0,a.length-1)}return a};