/** Javascript for client **/


String.prototype.trim = function() {
a = this.replace(/^\s+/, '');
a = a.replace(/\s+$/, '');
return a
};