window.onload=function(){prettyPrint();};