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