docs: function pad(obj, width)
  {
  	var objstr, rv, i;
  
  	if (obj === undefined)
  		objstr = '';
  	else
  		objstr = obj.toString();
  
  	rv = '';
  
  	if (typeof (obj) != 'number')
  		rv += objstr;
  
  	for (i = objstr.length; i < width; i++)
  		rv += ' ';
  
  	if (typeof (obj) == 'number')
  		rv += objstr;
  
  	return (rv);
  }