function Trim( arg ) {
  var s = String( arg );
  s = s.replace( '^ +', '' );
  s = s.replace( ' +$', '' );
  return s;
}

function IsEmptyStr( arg ) {
  return Trim(arg) == '';
}

function IsCardinal( arg ) {
  if( IsEmptyStr(arg) ) return false;
  var re = /^[0-9]+$/;
  var s = Trim(arg);
  return s.match( re );
}

function IsInteger( arg ) {
  if( IsEmptyStr(arg) ) return false;
  var re = /^-{0,1}[0-9]+$/;
  var s = Trim(arg);
  return s.match( re );
}