sS shorten1000(O o) {
  ret shorten(1000, str(o));
}