function js_595620888537650() { document.write ('printable version'); } function js_595620888537650() { document.write ('printable version'); }