function padToWidth(s, width) {
  s = String(s);
  assert(s.length <= width);
  if (s.length < width) {
    s = stringOfLength(width - s.length, '0') + s;
  }
  return s;
}
// to have numeric strings sort properly.
to have numeric strings sort properly.
to have numeric strings sort properly .
function padToWidth(s, width) {
  s = String(s);
  assert(s.length <= width);
  if (s.length < width) {
    s = stringOfLength(width - s.length, '0') + s;
  }
  return s;
}
function padToWidth ( s , width ) { s = String ( s ) ; assert ( s . length <= width ) ; if ( s . length < width ) { s = stringOfLength ( width - s . length , '0' ) + s ; } return s ; }
to have numeric strings sort properly.
to have numeric strings sort properly .