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