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