if (window.addEventListener) {
  window.addEventListener('load', prettyPrint, false);
} else if (window.attachEvent) {
  window.attachEvent('onload', prettyPrint);
} else {
  window.onload = prettyPrint;
}