String.prototype.trim = function() 
{ 
  return this.replace(/(^\s*)|(\s*$)/g, ""); 
}
String.prototype.len=function(){
 return this.replace(/[^\x00-\xff]/g,"aa").length;
} 
function disableDot(){
  var selement=window.event.srcElement;
  var re=/[']/g;
  selement.value=selement.value.replace(re,'');
}
function onBeforePaste(){
  clipboardData.setData('text',clipboardData.getData('text').replace(/[^\w]/g,''))
}
function isNum(value){
   var a=/^\d+$/;
   return a.test(value);
}