<script type="text/javascript"> var theonload = window.onload; window.onload = function(){ if (theonload) theonload(); prettyPrint(); } </script>