document.getElementById('print-manual').onclick=function(){window.print();};